34 search results - page 5 / 7 » Stabilization-Preserving Atomicity Refinement |
ENTCS
2008
13 years 8 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
DEXA
2010
Springer
13 years 8 months ago
2010
Springer
We consider the containment problem for conjunctive queries with atomic negation. Firstly, we refine an existing algorithm based on homomorphism checks, which itself improves other...
ICML
2007
IEEE
14 years 9 months ago
2007
IEEE
We propose statistical predicate invention as a key problem for statistical relational learning. SPI is the problem of discovering new concepts, properties and relations in struct...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...
DCC
2005
IEEE
14 years 8 months ago
2005
IEEE
This paper presents a low rate progressive 3D mesh compression scheme for simple genuszero 3D objects. The proposed scheme is based on signal representation using redundant expans...