Sciweavers

1284 search results - page 162 / 257
» Abstract Processes in Orchestration Languages
Sort
View
HICSS
2007
IEEE
129views Biometrics» more  HICSS 2007»
15 years 11 months ago
Multi-level Architectural Evolution Management
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
Tien N. Nguyen
LPAR
2007
Springer
15 years 10 months ago
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
Francien Dechesne, Mohammad Reza Mousavi, Simona O...
COMSWARE
2006
IEEE
15 years 10 months ago
FACTS - A rule-based middleware architecture for wireless sensor networks
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
Kirsten Terfloth, Georg Wittenburg, Jochen H. Schi...
136
Voted
GPCE
2005
Springer
15 years 10 months ago
Source-Level Optimization of Run-Time Program Generators
Abstract. We describe our efforts to use source-level rewriting to optimize run-time program generators written in Jumbo, a run-time program generation system for Java. Jumbo is a...
Samuel N. Kamin, Baris Aktemur, Philip Morton
IFIP
2004
Springer
15 years 10 months ago
Effective Chemistry for Synchrony and Asynchrony
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
Deepak Garg, Akash Lal, Sanjiva Prasad