4418 search results - page 276 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
188
click to vote
AAAI
2012
13 years 9 months ago
2012
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...
155
click to vote
ISPA
2004
Springer
16 years 11 hour ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
179
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
172
click to vote
ATVA
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
155
click to vote
SAS
2007
Springer
16 years 23 days ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...