2488 search results - page 381 / 498 » An improvement in formal verification |
102
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
108
click to vote
FM
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
MICAI
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we describe a human organ selection process in which agents argue over whether a given donor’s organ is viable for transplantation. This process is framed in the CA...
118
click to vote
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
124
Voted
ACRI
2004
Springer
15 years 7 months ago
2004
Springer
Modeling free-form shapes in 3D spaces based on strict physical laws require a considerable amount of computation time. Previous experiences with Cellular Automata demonstrated sub...