Sciweavers

195 search results - page 20 / 39
» Composable Encapsulation Policies
Sort
View
ANSS
2002
IEEE
14 years 11 days ago
Behavioral Model Composition in Simulation-Based Design
We present a simulation and design framework for simultaneously designing and modeling electromechanical systems. By instantiating component objects and connecting them to each ot...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...
FORMATS
2007
Springer
13 years 11 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
EUROPAR
2000
Springer
13 years 11 months ago
An Architecture for Web-Based Interaction and Steering of Adaptive Parallel/Distributed Applications
This paper presents an architecture for web-based interaction and steering of parallel/distributed scientific applications. The architecture is composed of detachable thin-clients ...
Rajeev Muralidhar, Samian Kaur, Manish Parashar
ICWS
2007
IEEE
13 years 8 months ago
An Integrated Development Environment for Web Service Composition
Web services provide an instantiation of the loosely coupled service–oriented architecture and facilitate the process of enterprise application integration by encapsulating info...
Girish Chafle, Gautam Das, Koustuv Dasgupta, Arun ...
PDPTA
2004
13 years 8 months ago
Telepresent Agents: A New Paradigm for Networked Systems
Telepresent Agents are software Agents that are instantiated simultaneously within two or more distinct computer applications (called Locales) which are operating at distinct nodes...
Russ Abbott, Behzad Parviz, Chengyu Sun