2520 search results - page 323 / 504 » Model-checking behavioral programs |
137
click to vote
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
122
click to vote
AVI
2006
15 years 3 months ago
2006
Since several years, ubiquitous computing and pervasive computing has emerged and, in particular, context-aware computing. Using mobile devices, the context is perpetually evolvin...
148
click to vote
OMER
2001
15 years 3 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
120
click to vote
VDB
1998
15 years 3 months ago
1998
Any graphical user interface (GUI) requires large amounts of complex metadata for the layout of windows and menus, their style and behavior, their bindings, etc. Designing, debugg...
125
click to vote
CLEIEJ
2006
15 years 2 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...