Sciweavers

3908 search results - page 620 / 782
» A model for service-oriented communication systems
Sort
View
ESOP
2003
Springer
16 years 11 days ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
16 years 3 days ago
ICT-Impact on Services
The state of service management practice and the developments in ICT-efficiency research prompt the call for managerial relevance, normative theory building and the conceptualizat...
Alexander G. Bielowski, Rita Walczuch
GI
2009
Springer
15 years 11 months ago
Constraint Functional Multicore Programming
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
Petra Hofstedt, Florian Lorenzen
WCRE
1999
IEEE
15 years 11 months ago
Software Architectural Transformation
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
S. Jeromy Carrière, Steven G. Woods, Rick K...
DEXAW
1998
IEEE
160views Database» more  DEXAW 1998»
15 years 11 months ago
Coordination in Message-Based Environments: Restructuring Internet E-Mail to Accomplish Tasks
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
Juha Takkinen, Nahid Shahmehri