955 search results - page 166 / 191 » Model Checking Operator Procedures |
126
Voted
KDD
2004
ACM
16 years 1 months ago
2004
ACM
Many automated learning procedures lack interpretability, operating effectively as a black box: providing a prediction tool but no explanation of the underlying dynamics that driv...
136
click to vote
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
156
Voted
MOBICOM
1996
ACM
15 years 4 months ago
1996
ACM
This paper discusses extensions to the Rover toolkit for constructing reliable mobile-aware applications. The extensions improve upon the existing failure model, which only addres...
120
click to vote
PPDP
2010
Springer
14 years 10 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
ICSE
2005
IEEE-ACM
16 years 21 days ago
2005
IEEE-ACM
We argue that finding vulnerabilities in software components is different from finding exploits against them. Exploits that compromise security often use several low-level details...