2881 search results - page 146 / 577 » Model Checking for Programming Languages using Verisoft |
145
Voted
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
166
click to vote
AC
2000
Springer
15 years 9 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
196
Voted
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
122
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows...
136
Voted
VL
2006
IEEE
15 years 11 months ago
2006
IEEE
Reality-based interfaces (RBIs) offer the promise of natural interfaces that are intuitive to use. By allowing users to leverage their innate skills and knowledge about the real-p...