Sciweavers

5851 search results - page 210 / 1171
» Coordination as a Direct Process
Sort
View
IPPS
2007
IEEE
16 years 24 days ago
Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...
Carlos Morra, João M. P. Cardoso, Jürg...
EGOV
2004
Springer
15 years 12 months ago
Information Integration or Process Integration? How to Achieve Interoperability in Administration
IT managers in administration must decide how to contribute to cross-organisational integration and what strategy and means to choose for achieving interoperability. Comparing the ...
Ralf Klischewski
ICRA
2002
IEEE
97views Robotics» more  ICRA 2002»
15 years 11 months ago
Stochastic Cloning: A Generalized Framework for Processing Relative State Measurements
This paper introduces a generalized framework, termed “stochastic cloning,” for processing relative state measurements within a Kalman filter estimator. The main motivation a...
Stergios I. Roumeliotis, Joel W. Burdick
DEXAW
1999
IEEE
129views Database» more  DEXAW 1999»
15 years 10 months ago
Stakeholder Identification in the Requirements Engineering Process
Adequate, timely and effective consultation of relevant stakeholders is of paramount importance in the requirements engineering process. However, the thorny issue of making sure t...
Helen Sharp, Anthony Finkelstein, Galal Galal
LICS
1991
IEEE
15 years 10 months ago
Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
Hans Hüttel, Colin Stirling