3441 search results - page 129 / 689 » Parallel Logic Programming Systems |
119
Voted
KSEM
2010
Springer
15 years 13 days ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
137
click to vote
FUIN
2002
15 years 2 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
93
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
We present the design and development of a Performance Data Representation System (PDRS) for scalable parallel computing. PDRS provides decision support that helps users find the r...
101
click to vote
JUCS
2008
15 years 2 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
112
click to vote
SEKE
2001
Springer
15 years 7 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...