1895 search results - page 223 / 379 » Using ATL for Checking Models |
153
Voted
IVA
2010
Springer
15 years 3 months ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
129
click to vote
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
169
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
110
click to vote
ICAC
2005
IEEE
15 years 10 months ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
169
click to vote
SMI
2010
IEEE
15 years 2 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...