1266 search results - page 18 / 254 » AS Relationships: Inference and Validation |
106
Voted
ASM
2008
ASM
15 years 2 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 ...
90
Voted
MP
2006
15 years 12 days 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...
COMAD
2008
15 years 1 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...
191
click to vote
ICDE
2006
IEEE
16 years 1 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...
110
Voted
COLING
1996
15 years 1 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...