798 search results - page 5 / 160 » Statecharts as Protocols for Objects |
VLDB
2012
ACM
12 years 5 months ago
2012
ACM
In the last decade, spatio-temporal database research focuses on the design of effective and efficient indexing structures in support of location-based queries such as predictive...
ISORC
1999
IEEE
14 years 2 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
ACSD
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
ASE
2006
13 years 9 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
HT
1998
ACM
14 years 2 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...