2530 search results - page 309 / 506 » Dynamic topological logic |
142
Voted
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
132
Voted
MM
1993
ACM
15 years 8 months ago
1993
ACM
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
129
click to vote
FPGA
2006
ACM
15 years 8 months ago
2006
ACM
Embedded memory blocks are important resources in contemporary FPGA devices. When targeting FPGAs, application designers often specify high-level memory functions which exhibit a ...
131
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents a Service-Oriented Process Model (SOM) to build a web-services based process management system, called MIDAS that would support distributed Design and Manufact...
130
click to vote
ICWS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Several approaches have been proposed to introduce self-management capabilities for web service compositions. However, most of these works are limited as they are not ex...