3441 search results - page 14 / 689 » Parallel Logic Programming Systems |
MEMOCODE
2003
IEEE
14 years 20 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
OWLED
2007
13 years 8 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
SIGADA
1999
Springer
13 years 11 months ago
1999
Springer
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Parallel changes are becoming increasingly prevalent in the development of large scale software system. To further study the relationship between parallel changes and faults, we h...
PADS
2006
ACM
14 years 1 months ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...