3943 search results - page 371 / 789 » Architecture-Level Requirements Specification |
170
click to vote
STOC
2006
ACM
16 years 7 months ago
2006
ACM
Many approximation algorithms have been presented in the last decades for hard search problems. The focus of this paper is on cryptographic applications, where it is desired to de...
176
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
As critical records are increasingly stored in electronic form, which tends to make for easy destruction and clandestine modification, it is imperative that they be properly manag...
213
click to vote
ANCS
2006
ACM
16 years 24 days ago
2006
ACM
Modern deep packet inspection systems use regular expressions to define various patterns of interest in network data streams. Deterministic Finite Automata (DFA) are commonly used...
203
click to vote
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
This paper investigates how formal techniques can be used for the analysis and verification of hybrid systems [1,5,7,16] -- systems involving both discrete and continuous behavior....
190
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
The aim of this paper is to provide a general ontology that allows the specification of trust requirements in the Semantic Web Services environment. Both client and Web Service can...