Sciweavers

724 search results - page 43 / 145
» Implementing Execution Controls in Unix
Sort
View
HPCN
2000
Springer
14 years 24 days ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos
HICSS
2002
IEEE
108views Biometrics» more  HICSS 2002»
14 years 2 months ago
Planning and Control of Virtual Corporations in the Service Industry: The Prototype VICOPLAN
Virtual Corporations as well as traditional companies need a planning and control system in order to guarantee the organization’s competitiveness in markets. This paper outlines...
Thomas Hess
FASE
2009
Springer
14 years 4 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
DATE
2003
IEEE
115views Hardware» more  DATE 2003»
14 years 2 months ago
Control Flow Driven Splitting of Loop Nests at the Source Code Level
This paper presents a novel source code transformation for control flow optimizationcalled loop nest splitting which minimizes the number of executed if-statements in loop nests ...
Heiko Falk, Peter Marwedel
ECOOP
1999
Springer
14 years 1 months ago
Providing Fine-grained Access Control for Java Programs
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
Raju Pandey, Brant Hashii