6474 search results - page 1230 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
165
click to vote
FOSSACS
2009
Springer
16 years 26 days ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
179
click to vote
MIG
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Navigational performance of artificial intelligence (AI) characters in computer games is gaining an increasingly important role in the perception of their behavior. Whil...
160
click to vote
CODES
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper we present a framework for a distributed and very low-cost implementation of synchronization controllers and protocols for embedded multiprocessors. The proposed arc...
158
Voted
HICSS
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper describes how the curriculum and course format at the Air Force Institute of Technology (AFIT) has evolved based on our experience with the highly-successful Cyber Defe...
173
click to vote
ISORC
2007
IEEE
16 years 11 days ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...