3342 search results - page 612 / 669 » Automating Abstract Interpretation |
109
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Much of the research on automated Web Service Composition (WSC) relates it to an AI planning task, where the composition is primarily done offline prior to execution. Rec...
159
Voted
SIES
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
138
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
98
Voted
UIST
2010
ACM
14 years 10 months ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
169
Voted
AVSS
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--Cameras are becoming a common tool for automated vision purposes due to their low cost. In an era of growing security concerns, camera surveillance systems have become no...