611 search results - page 47 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
129
Voted
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
137
Voted
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
124
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Semantic web ontology languages, such as OWL, have been widely used for knowledge representation. Through empirical analysis of real-world ontologies we discover that, like many n...
139
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
131
Voted
FAC
2008
15 years 3 months ago
2008
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...