5904 search results - page 277 / 1181 » Requirements for a Composition Language |
147
click to vote
APN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...
129
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
130
click to vote
CCS
2001
ACM
15 years 9 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
125
click to vote
EDOC
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes an environment for interactive configuration management of the software components comprising a distributed enterprise application. The environment permits on...
138
click to vote
LREC
2010
15 years 6 months ago
2010
In this paper, I introduce the DICI, an electronic dictionary of Italian collocations designed to support the acquisition of the collocational competence in learners of Italian as...