173 search results - page 27 / 35 » Processes for Adhesive Rewriting Systems |
103
click to vote
TAP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
ACSC
2006
IEEE
15 years 5 months ago
2006
IEEE
In the current state of the rapid growth of information resources and the huge number of requests submitted by users to existing information retrieval systems; recently, Question ...
100
click to vote
ADBIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
105
click to vote
INAP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
WWW
2008
ACM
16 years 11 days ago
2008
ACM
As wireless networks proliferate, web browsers operate in an increasingly hostile network environment. The HTTPS protocol has the potential to protect web users from network attac...