9067 search results - page 247 / 1814 » Adaptive Model Checking |
108
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
160
click to vote
QSIC
2005
IEEE
16 years 3 days ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
161
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
XML (Extensible Markup Language) processing can incur significant runtime overhead in XML-based infrastructural middleware such as Web service application servers. This paper prop...
126
click to vote
ICDCSW
2005
IEEE
16 years 4 days ago
2005
IEEE
— In this paper, we propose a new approach called MAFIC (MAlicious Flow Identification and Cutoff) to support adaptive packet dropping to fend off DDoS attacks. MAFIC works by j...
147
click to vote
PROFES
2005
Springer
16 years 7 hour ago
2005
Springer
Content adaptable applications are often used in ubiquitous computing environment, and it aims to service the adaptable contents to users. In this environment, the services are dyn...