7430 search results - page 494 / 1486 » Programming Applications in CIFF |
182
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
224
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
191
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
211
click to vote
C3S2E
2008
ACM
15 years 8 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...
177
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...