924 search results - page 39 / 185 » Middleware-based distributed systems software process |
218
click to vote
TASE
2012
IEEE
13 years 9 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
122
click to vote
ICS
2003
Tsinghua U.
15 years 7 months ago
2003
Tsinghua U.
We describe the architecture for a single-chip aegis processor which can be used to build computing systems secure against both physical and software attacks. Our architecture ass...
126
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...
151
click to vote
CL
2007
Springer
15 years 1 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
159
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...