2488 search results - page 381 / 498 » An improvement in formal verification |
170
click to vote
CAV
2005
Springer
16 years 18 days 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...
186
click to vote
FM
2005
Springer
16 years 18 days 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...
155
Voted
MICAI
2005
Springer
16 years 17 days 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...
196
click to vote
SEKE
2005
Springer
16 years 16 days 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 ...
193
click to vote
ACRI
2004
Springer
16 years 14 days 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...