187 search results - page 26 / 38 » Component-Based Construction of Concurrent Systems with Acti... |
151
click to vote
IEEEAMS
2003
IEEE
15 years 11 months ago
2003
IEEE
Autonomic computing – self-configuring, self-healing, self-optimizing applications, systems and networks – is widely believed to be a promising solution to everincreasing syst...
183
click to vote
IFM
2005
Springer
15 years 11 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
169
click to vote
COOPIS
1998
IEEE
15 years 10 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
206
click to vote
FGR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes a framework for constructing a linear subspace model of image appearance for complex articulated 3D figures such as humans and other animals. A commercial mo...
165
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...