2875 search results - page 69 / 575 » Distributed Reactive Machines |
ITNG
2008
IEEE
14 years 5 months ago
2008
IEEE
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
PDP
2005
IEEE
14 years 4 months ago
2005
IEEE
The upcoming IEEE 802.11e standard was developed to offer QoS capabilities to WLAN, offering significative improvements to multimedia traffic. MANETs will also benefit from thi...
ISORC
1999
IEEE
14 years 3 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
MAAMAW
1994
Springer
14 years 3 months ago
1994
Springer
What is the relation between the complexity of agents and the complexity of the goals that they can achieve? It is argued on the basis of a fundamental conservation of complexity ...
SAC
2008
ACM
13 years 10 months ago
2008
ACM
Distributedsoftwareenvironmentsareincreasinglycomplex anddiculttomanage,astheyintegratevariouslegacysoftware with specic management interfaces. Moreover, the factthatmanagementtas...