1432 search results - page 113 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
114
Voted
AC
2003
Springer
15 years 8 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
137
click to vote
SIGMETRICS
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents an analytical model to study how working sets scale with database size and other applications parameters in decision-support systems (DSS). The model uses appl...
133
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We consider a type of zero-knowledge protocols that are of interest for their practical applications within networks like the Internet: efficient zero-knowledge arguments of knowl...
110
Voted
VLSID
2005
IEEE
16 years 3 months ago
2005
IEEE
Interest in asynchronous circuit design is increasing due to its promise of efficient designs. The quiescent nature of asynchronous circuits allows them to remain in a stable stat...
157
click to vote
FAC
2008
15 years 3 months ago
2008
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...