643 search results - page 84 / 129 » Semantic Determinism and Functional Logic Program Properties |
158
click to vote
ECOWS
2008
Springer
15 years 3 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
112
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
ENGL
2008
15 years 2 months ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
138
click to vote
IDT
2010
15 years 12 days ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
113
click to vote
AUIC
2000
IEEE
15 years 6 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...