1412 search results - page 185 / 283 » An Architecture Description Language for Mobile Distributed ... |
123
click to vote
MIDDLEWARE
2004
Springer
15 years 6 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
116
click to vote
COOPIS
1997
IEEE
15 years 5 months ago
1997
IEEE
Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities, mostly in distributed heterogeneous environments which a...
108
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
122
click to vote
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
124
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...