1410 search results - page 156 / 282 » An operational approach to the design of workflow systems |
141
click to vote
ASPDAC
2001
ACM
15 years 5 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
117
click to vote
WOA
2003
15 years 3 months ago
2003
— The design and the implementation of software for mobile computers and for pervasive computing environments entail several issues and lead to new requirements. Applications mus...
127
click to vote
ICRA
2009
IEEE
14 years 11 months ago
2009
IEEE
The design of a hierarchical planning system in which each level operates in parallel and communicates asynchronously is presented. It is shown that this Parallel Hierarchical Repl...
107
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
156
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...