60 search results - page 3 / 12 » Retracing the Semantics of CSP |
ESWS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. The Live Social Semantics is an innovative application that encourages and guides social networking between researchers at conferences and similar events. The application...
CSFW
1997
IEEE
13 years 9 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
ICFEM
2004
Springer
13 years 11 months ago
2004
Springer
IFM
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
LWA
2008
13 years 7 months ago
2008
In informal collections of collaboratively created knowledge like wikis, there is no well-defined way of reporting issues with knowledge items. When something is wrong or needs im...