504 search results - page 30 / 101 » Complexity Properties of Restricted Abstract Argument System... |
73
Voted
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
IFL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
KBSE
1999
IEEE
15 years 1 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...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...