169 search results - page 11 / 34 » Towards Verification of Storyboards |
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
IDTRUST
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we describe the challenges in using Personal Identity Verification (PIV) cards and PIV-like cards as federated identities to authenticate to US Federal government f...
SCP
2008
13 years 9 months ago
2008
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...