Sciweavers

544 search results - page 38 / 109
» Management of Composites in Software Engineering Environment...
Sort
View
SIGSOFT
2007
ACM
14 years 9 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
IWSAS
2001
Springer
14 years 29 days ago
An Approach to Self-adaptive Software Based on Supervisory Control
: Self-adaptive software systems use observations of their own behavior, and that of their environment, to select and enact adaptations in accordance with some objective(s). This a...
Gabor Karsai, Ákos Lédeczi, Janos Sz...
SOPR
1998
117views more  SOPR 1998»
13 years 8 months ago
Software processes: a retrospective and a path to the future
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
Gianpaolo Cugola, Carlo Ghezzi
COMPSAC
2008
IEEE
14 years 3 months ago
A Component-Based Model and Language for Wireless Sensor Network Applications
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
Alan Dearle, Dharini Balasubramaniam, Jonathan Lew...
ICEBE
2005
IEEE
135views Business» more  ICEBE 2005»
14 years 2 months ago
GridPML: A Process Modeling Language and History Capture System for Grid Service Composition
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
Hua Ma, Susan Darling Urban, Yang Xiao, Suzanne W....