4516 search results - page 623 / 904 » Automated System Design for Availability |
149
click to vote
SIGCSE
2010
ACM
16 years 19 days ago
2010
ACM
Website security is essential for successful e-commerce ventures, but the vital “how-to” components of security are often lacking in academic courses. This paper describes our...
153
click to vote
RTSS
2008
IEEE
16 years 16 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
151
click to vote
MODELS
2007
Springer
16 years 8 days ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
156
click to vote
SOFSEM
2007
Springer
16 years 7 days ago
2007
Springer
The requirements for a system are often specified as textual use cases. Although they are written in natural language, the simple and uniform sentence structure used makes automate...
162
click to vote
SIGECOM
2005
ACM
15 years 11 months ago
2005
ACM
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...