244 search results - page 28 / 49 » A Model of Components with Non-regular Protocols |
CORR
2007
Springer
15 years 1 months ago
2007
Springer
E-Laboratories are important components of elearning environments, especially in scientific and technical disciplines. First widespread E-Labs consisted in proposing simulations o...
113
click to vote
COORDINATION
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
121
click to vote
LCN
2003
IEEE
15 years 7 months ago
2003
IEEE
- With the current wide deployment of Gigabit Ethernet technology in the backbone and workgroup switches, the network performance bottleneck has shifted for the first time in nearl...
138
Voted
EUROCRYPT
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
123
click to vote
WSC
1997
15 years 3 months ago
1997
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...