1266 search results - page 18 / 254 » AS Relationships: Inference and Validation |
87
Voted
ASM
2008
ASM
14 years 11 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
MP
2006
14 years 9 months ago
2006
The max-cut and stable set problems are two fundamental NP-hard problems in combinatorial optimization. It has been known for a long time that any instance of the stable set probl...
63
Voted
COMAD
2008
14 years 11 months ago
2008
DTDs are continuously updated according to changes of the real world. Let t be an XML document valid against a DTD D, and suppose that D is updated by an update script s. In gener...
166
click to vote
ICDE
2006
IEEE
15 years 11 months ago
2006
IEEE
Data partitioning is often used to scale-up a database system. In a centralized database system, the serialization order of commited update transactions can be inferred from the d...
87
Voted
COLING
1996
14 years 11 months ago
1996
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expre...