3825 search results - page 415 / 765 » The Language of Time: A Reader |
163
click to vote
ICLA
2009
Springer
16 years 1 months ago
2009
Springer
One of the surprising developments in the area of program verification is how ideas introduced by logicians in the early part of the 20th Century ended up yielding by the 21 Centu...
191
click to vote
SCCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
186
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
153
click to vote
IFIP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
169
click to vote
MODELS
2007
Springer
16 years 29 days ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...