542 search results - page 87 / 109 » An Integrated Systems Approach to Explanation-Based Conceptu... |
MSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Storage systems are the next frontier for providing protection against intrusion. Since storage systems see changes to persistent data, several types of intrusions can be detected...
DAC
2009
ACM
16 years 23 days ago
2009
ACM
Efficient system-level design is increasingly relying on hierarchical design-space exploration, as well as compositional methods, to shorten time-to-market, leverage design re-use...
87
Voted
ATMOS
2008
15 years 1 months ago
2008
Abstract. The search for train connections in state-of-the-art commercial timetable information systems is based on a static schedule. Unfortunately, public transportation systems ...
69
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
114
click to vote
ICRA
1998
IEEE
15 years 4 months ago
1998
IEEE
We have developed a multiagent robotic system including perception, cognition, and action components to function in a dynamicenvironment. The system involves the integration and c...