-
1
-
2
-
3
-
4
-
5
Rover: scalable location-aware computing
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
6
-
7
AN introduction to assertional reasoning for concurrent systems
Veröffentlicht in ACM computing surveys
VolltextArtikel -
8
Protocol Verification via Projections
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
9
Introduction to assertional reasoning for concurrent systems
Veröffentlicht in ACM computing surveys
VolltextArtikel -
10
-
11
-
12
Verified data transfer protocols with variable flow control
Veröffentlicht in ACM transactions on computer systems
VolltextArtikel -
13
-
14
Implementation of a Scalable Context-Aware Computing System
Veröffentlicht in Lecture notes in computer science
VolltextArtikel -
15
-
16
-
17
-
18
Fast time-dependent evaluation of multi-service networks
Veröffentlicht in Computer networks and ISDN systems
VolltextArtikel -
19
-
20