3028 search results - page 194 / 606 » Integrating Temporal Logics |
211
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Dynamic kernel memory has been a popular target of recent kernel malware due to the difficulty of determining the status of volatile dynamic kernel objects. Some existing approach...
254
click to vote
CASES
2011
ACM
14 years 7 months ago
2011
ACM
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
199
click to vote
ECCV
2008
Springer
16 years 9 months ago
2008
Springer
Active vision techniques use programmable light sources, such as projectors, whose intensities can be controlled over space and time. We present a broad framework for fast active v...
180
click to vote
ATAL
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
209
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...