723 search results - page 57 / 145 » A Logical Architecture of a Normative System |
MODELS
2007
Springer
14 years 3 months ago
2007
Springer
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...
FPGA
2008
ACM
13 years 10 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
ICDCS
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract—We propose RoLo (Rotated Logging), a new logging architecture for RAID10 systems for enhanced energy efficiency, performance and reliability. By spreading destaging I/O...
MICAI
2005
Springer
14 years 2 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...