1432 search results - page 155 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
142
click to vote
CRYPTO
2004
Springer
15 years 9 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...
122
click to vote
ENTCS
2008
15 years 3 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
143
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
122
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
Performance Trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for Pe...
138
click to vote
EUROSYS
2007
ACM
15 years 7 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...