8232 search results - page 21 / 1647 » Dynamic Logic Programming |
104
click to vote
CAISE
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
130
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
110
click to vote
DBPL
1993
Springer
15 years 6 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
ISCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Several ILP limit studies indicate the presence of considerable ILP across dynamically far-apart instructions in program execution. This paper proposes a hardware mechanism, dynam...
118
Voted
INTERSENSE
2006
ACM
15 years 8 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...