Sciweavers

255 search results - page 36 / 51
» Dynamical Vertical Integration of Distributed Java Component...
Sort
View
IJSEKE
2006
99views more  IJSEKE 2006»
13 years 7 months ago
Weaving Deployment Aspects into Domain-specific Models
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...
COORDINATION
2008
Springer
13 years 9 months ago
CiAN: A Workflow Engine for MANETs
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
Rohan Sen, Gruia-Catalin Roman, Christopher D. Gil...
COMPUTER
2002
103views more  COMPUTER 2002»
13 years 7 months ago
SimpleScalar: An Infrastructure for Computer System Modeling
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
Todd M. Austin, Eric Larson, Dan Ernst
DAIS
2001
13 years 9 months ago
Middleware Support for Context-Aware Multimedia Applications
: We describe QoSDREAM, a middleware framework for the construction and management of context-aware multimedia applications. The contributions of QoSDREAM include (1) a novel appro...
Hani Naguib, George Coulouris, Scott Mitchell
SPIN
2001
Springer
14 years 7 days ago
From Model Checking to a Temporal Proof
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
Doron Peled, Lenore D. Zuck