6031 search results - page 865 / 1207 » Communicating Transaction Processes |
150
Voted
BSN
2009
IEEE
15 years 9 months ago
2009
IEEE
— This work presents TEMPO (Technology-Enabled Medical Precision Observation) 3.1, a third generation body area sensor platform that accurately and precisely captures, processes,...
141
Voted
CAMAD
2009
IEEE
15 years 9 months ago
2009
IEEE
— Simulation tools are popular in the design and study of communication systems and networks. The implementation of analytic distributed simulations commonly require a central en...
127
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
135
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
145
click to vote
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...