3799 search results - page 637 / 760 » An Engineering Approach to Formal Methods |
115
click to vote
FAST
2008
15 years 7 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
174
click to vote
APSCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
135
Voted
IJCAI
2003
15 years 6 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...
192
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
150
click to vote
ACMDIS
2010
ACM
15 years 5 months ago
2010
ACM
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...