2448 search results - page 281 / 490 » The Octahedron Abstract Domain |
160
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
165
click to vote
ADMI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...
148
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
120
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
142
Voted
APCCM
2008
15 years 6 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...