1407 search results - page 66 / 282 » Using Use Cases in Executable Z |
155
click to vote
ASIACRYPT
2011
Springer
14 years 3 months ago
2011
Springer
A fundamental question in cryptography deals with understanding the role that randomness plays in cryptographic protocols and to what extent it is necessary. One particular line o...
111
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
172
click to vote
AMOST
2007
ACM
15 years 8 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
141
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Strategic Business and IT Alignment (SBITA) is still ranked amongst the top concerns of the enterprise’s management executives. Such alignment is an organization-wide issue that...
126
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...