7080 search results - page 1046 / 1416 » Designing High Integrity Systems Using Aspects |
150
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Memory requirements of intellectual property components (IP) in contemporary multi-processor systems-on-chip are increasing. Large high-speed external memories, such as DDR2 SDRAM...
135
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
121
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Soil contains vast ecosystems that play a key role in the Earth’s water and nutrient cycles, but scientists cannot currently collect the high-resolution data required to fully u...
136
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
The ubiquitous proliferation of mobile devices has given rise to novel user-centric application and services. In current mobile systems, users gain access to remote service provide...
131
click to vote
ATMOS
2007
15 years 6 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...