177 search results - page 4 / 36 » Reasoning about Safety and Progress Using Contracts |
ESOP
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
AMI
2008
Springer
13 years 7 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
AIPS
2010
13 years 8 months ago
2010
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...
JURIX
2008
13 years 7 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
KBSE
2009
IEEE
14 years 15 days ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...