18466 search results - page 3630 / 3694 » On distributed systems and CSCL |
DSN
2002
IEEE
15 years 3 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
68
Voted
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
Unexpectedly, the widespread availability of very very high speed (Broadband) bandwidth into communities and within large centres has become not only a long-term possibility but a...
ICPPW
2002
IEEE
15 years 3 months ago
2002
IEEE
Recently, the low price and the small size of the mobile device makes a great success in personal mobile communication. A lot of people use a cell phone, PDA, and laptop computer ...
86
Voted
ISCA
2002
IEEE
15 years 3 months ago
2002
IEEE
Due to shrinking technologies and increasing design sizes, it is becoming more difficult and expensive to distribute a global clock signal with low skew throughout a processor di...
ICDT
2010
ACM
15 years 3 months ago
2010
ACM
The paper formulates and investigates the aggregation problem for synthesized mediators of Web services (SWMs). An SWM is a finite-state transducer defined in terms of templates...