3742 search results - page 420 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
PODC
1999
ACM
15 years 11 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
197
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The search for enriched features has become widely used to characterize a set of genes or proteins. A key aspect of this technique is its ability to identify correlati...
173
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
189
click to vote
ICSOC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
159
click to vote
ICSM
2005
IEEE
16 years 10 days ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...