Sciweavers

893 search results - page 34 / 179
» Environment Assumptions for Synthesis
Sort
View
WSPI
2004
13 years 9 months ago
Grounding Knowledge of Engineering Applications in Systematic Terms
In the main research of internet-computing enabled knowledge management, we use some of the most advanced research scenarios, arguing that we critically need a system approach to q...
Ying Liu 0002, Jin Yu
ISSE
2011
13 years 2 months ago
Time-triggered buffers for event-based middleware systems
Application developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and suppo...
Jonathan Sprinkle, Brandon Eames
GI
2010
Springer
13 years 6 months ago
Service Level Management in Dynamic Value Networks
: This paper presents a framework for Service Level Management in dynamic, heterogeneous environments for service composition. Assumptions to and the architecture of a framework is...
Wibke Michalk, Simon Caton
ITCC
2005
IEEE
14 years 1 months ago
Performance Analysis of Mobile Backbone Topology Synthesis Algorithm for Wireless Ad Hoc Networks
In this paper, we present a scalable fully distributed version of a Mobile Backbone Network Topology Synthesis Algorithm (MBN-TSA) for constructing and maintaining a dynamic backb...
Laura Huei-jiun Ju, Izhak Rubin
MFCS
2009
Springer
14 years 2 months ago
Synthesis for Structure Rewriting Systems
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
Lukasz Kaiser