4327 search results - page 559 / 866 » Web presentation system using RST events |
156
click to vote
CN
2010
15 years 6 months ago
2010
Ptrim is a purely decentralised application for performing peer-to-peer transactions. Instead of relying on a typical trust/reputation management approach, Ptrim allows its users t...
159
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
181
click to vote
JLP
2007
15 years 6 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
176
click to vote
IJMI
2010
15 years 5 months ago
2010
In this paper, we discuss how profiles of communicative behaviour can be used to present and analyse information about role activity recorded through structured observation of spec...
194
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Large sensor networks in applications such as surveillance and virtual classrooms, have to deal with the explosion of sensor information. Coherent presentation of data coming from...