631 search results - page 54 / 127 » An Integrated Formal Model of Scenarios Based on Statecharts |
ENTCS
2007
14 years 9 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We firs...
104
click to vote
ECAI
2010
Springer
14 years 7 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
IJACTAICIT
2010
14 years 7 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...