564 search results - page 71 / 113 » Do interactive systems need specifications |
138
click to vote
CCR
2004
15 years 4 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
168
click to vote
IJCAI
1989
15 years 5 months ago
1989
entional user behavior, we need a principled mannerAbstract for relaxing contextual constraints when they are violated.When computer speech recognition is used for problem In order...
121
click to vote
ACSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...
143
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
The development of wireless sensor networks (WSNs) software today is tackled by a code-and-fix process that relies solely on the primitive constructs provided by the operating sys...
168
click to vote
INTETAIN
2009
Springer
15 years 11 months ago
2009
Springer
News aggregators are widely used to read RSS feeds but they require the user to be in front of a screen. While moving, people usually do not have any display, or very small ones. M...