4286 search results - page 211 / 858 » Formalizing Service Interactions |
170
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
159
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Emotions are an often overlooked aspect of work since they are not included in formal work models. However, they continue provide critical information as well as be part of a rich...
185
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
Safety critical systems, such as aviation systems controlled by software, often have hard real-time requirements. Producing the correct resultat the right time is thefundamental g...
165
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
This paper explores the nature of player behaviour in game environments in relation to the methodology of the dramatist Bertolt Brecht. Firstly, a conceptualisation of how manipula...
179
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...