1412 search results - page 175 / 283 » An Architecture Description Language for Mobile Distributed ... |
FTDCS
2003
IEEE
15 years 6 months ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
145
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
126
click to vote
MMB
2001
Springer
15 years 6 months ago
2001
Springer
This paper provides a performance evaluation of the TETRAPOL random access protocol. The results are based on a Markovian model which is also presented. The Markovian model is use...
103
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
101
click to vote
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...