Sciweavers

1134 search results - page 162 / 227
» Using Constraints with Action Language for Model Evolution
Sort
View
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
16 years 15 days ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
EDOC
2009
IEEE
16 years 28 days ago
An End-to-End Approach for QoS-Aware Service Composition
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
Florian Rosenberg, Predrag Celikovic, Anton Michlm...
CDC
2008
IEEE
167views Control Systems» more  CDC 2008»
15 years 8 months ago
Convex formulations of aggregate network air traffic flow optimization problems
The problem of regulating air traffic in the en route airspace of the National Airspace System is studied using an Eulerian network model to describe air traffic flow. The evolutio...
Daniel B. Work, Alexandre M. Bayen
ALENEX
2003
137views Algorithms» more  ALENEX 2003»
15 years 7 months ago
The Markov Chain Simulation Method for Generating Connected Power Law Random Graphs
Graph models for real-world complex networks such as the Internet, the WWW and biological networks are necessary for analytic and simulation-based studies of network protocols, al...
Christos Gkantsidis, Milena Mihail, Ellen W. Zegur...
HCI
2009
15 years 4 months ago
A New Approach to Design an Interactive System for Molecular Analysis
The rapid evolution of molecule's imaging and observation's techniques has caused a growing interest in studying molecular structures. Naturally, scientists have turned t...
Mouna Essabbah, Samir Otmane, Joan Hérisson...