752 search results - page 140 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
AGP
1999
IEEE
13 years 11 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
KDD
1994
ACM
13 years 11 months ago
1994
ACM
: Weexemplify in this paper, howa discovery system is applied to the analysis of simulation experimentsin practical political planning, andshowwhatkind of newknowledgecan be discov...
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
For each industry, there exist many taxonomies that are intended for various applications. There are also multiple sources of regulations from different government agencies. Indus...
DSOM
2008
Springer
13 years 9 months ago
2008
Springer
Incident Management is the process through which IT support organizations manage to restore normal service operation after a service disruption. The complexity of IT support organi...
TCAD
2010
13 years 2 months ago
2010
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...