2291 search results - page 286 / 459 » Logic Programming and Model Checking |
145
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
130
Voted
ROBOCUP
2000
Springer
15 years 5 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
104
click to vote
IISWC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
230
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
122
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...