4305 search results - page 594 / 861 » Analysing Protocol Implementations |
138
click to vote
RTCSA
2000
IEEE
15 years 9 months ago
2000
IEEE
Although an optimistic approach has been shown to be better suited than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and h...
155
click to vote
FMSP
2000
ACM
15 years 9 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
133
click to vote
MM
2000
ACM
15 years 9 months ago
2000
ACM
A Vmedia JPEG 2000 interactive image browser is developed. Two key technologies make our system unique: it is the first to implement the decoder ROI access functionality of JPEG 2...
132
click to vote
HT
1999
ACM
15 years 9 months ago
1999
ACM
Since the beginning of the WWW, tools have been developed to augment the functionality of the Web. This paper provides an investigation of hypermedia tools and systems integrating...
138
click to vote
ISWC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper introduces the notion of a Wearable Community as a group of wearable users who cooperate for their mutual benefit. In such a community, wearable computers act as person...