3335 search results - page 519 / 667 » A Unified Approach to Modeling and Programming |
168
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
168
click to vote
ESAW
2009
Springer
16 years 28 days ago
2009
Springer
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
187
click to vote
PPDP
2007
Springer
16 years 14 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
171
click to vote
DMSN
2004
ACM
15 years 11 months ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
188
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...