2203 search results - page 117 / 441 » Temporal Abstract Interpretation |
111
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
150
Voted
CI
2011
14 years 10 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
143
Voted
KBSE
1999
IEEE
15 years 7 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
123
Voted
IEAAIE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract Unipolar depression is a mental disorder characterized by a persistent low mood and loss of awareness or contentment in usual activities [1]. Despite the modern era of pha...
139
Voted
ASIAN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...