12487 search results - page 2411 / 2498 » Graspable Work Modeling |
154
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
157
click to vote
FSR
2003
Springer
15 years 9 months ago
2003
Springer
We develop a network of distributed mobile sensor systems as a solution to the emergency response problem. The mobile sensors are inside a building and they form a connected ad-ho...
135
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
144
click to vote
CSCW
2010
ACM
15 years 9 months ago
2010
ACM
Online peer-to-peer (P2P) lending organizations enable an individual to obtain an unsecured loan from a collection of individuals without the participation of a bank. Previous res...
135
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
The wide availability of commodity multi-core systems presents an opportunity to address the latency issues that have plaqued XML query processing. However, simply executing multi...