Sciweavers

1287 search results - page 116 / 258
» Towards system software for physical space applications
Sort
View
ATAL
2008
Springer
15 years 8 months ago
The Use of Norms Violations to Model Agents Behavioral Variety
In multi-agent applications, normative systems are usually used to regulate the behavior of the agents. They provide an efficient means to ensure limited deviations from an expecte...
Benoit Lacroix, Philippe Mathieu, Andras Kemeny
ERSA
2009
109views Hardware» more  ERSA 2009»
15 years 4 months ago
An Implementation of Security Extensions for Data Integrity and Confidentiality in Soft-Core Processors
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...
Austin Rogers, Aleksandar Milenkovic
FASE
2003
Springer
15 years 11 months ago
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
David Scott, Alastair R. Beresford, Alan Mycroft
ADAEUROPE
2007
Springer
16 years 18 days ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
ICCAD
1997
IEEE
90views Hardware» more  ICCAD 1997»
15 years 10 months ago
Transformational partitioning for co-design of multiprocessor systems
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
Gilberto Fernandes Marchioro, Jean-Marc Daveau, Ah...