2178 search results - page 111 / 436 » Toward Systemically Secure IT Architectures |
FAABS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper discusses the use of C++ for the design of digital systems. The paper distinguishes a number of different approaches towards the use of programming languages for digita...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
SP
2002
IEEE
13 years 8 months ago
2002
IEEE
provide a scalable and adaptable abstraction of the system architecture. Each agent is able to cooperate with other agents and thereby provide service advertisement and discovery f...
MMAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In order to construct and deploy massively multiagent systems, we must address one of the fundamental issues of distributed systems, the possibility of partial failures. ...