Sciweavers

13397 search results - page 389 / 2680
» From Static Distributed Systems to Dynamic Systems
Sort
View
FOSSACS
2004
Springer
15 years 10 months ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
ICFP
2005
ACM
16 years 5 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ASPDAC
2005
ACM
109views Hardware» more  ASPDAC 2005»
15 years 10 months ago
Dynamic power management using on demand paging for networked embedded systems
— The power consumption of the network interface plays a major role in determining the total operating lifetime of wireless networked embedded systems. In case of on-demand pagin...
Yuvraj Agarwal, Curt Schurgers, Rajesh Gupta
121
Voted
DEXAW
1997
IEEE
99views Database» more  DEXAW 1997»
15 years 9 months ago
A Framework for Dynamic Changes in Workflow Management Systems
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
Manfred Reichert, Peter Dadam
176
Voted
PLILP
1994
Springer
15 years 9 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip