Sciweavers

3522 search results - page 137 / 705
» Modeling and Aspect Weaving
Sort
View
CORR
2010
Springer
146views Education» more  CORR 2010»
13 years 9 months ago
Formal Relationships Between Geometrical and Classical Models for Concurrency
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...
Eric Goubault, Samuel Mimram
EOR
2011
131views more  EOR 2011»
13 years 1 months ago
Personnel scheduling: Models and complexity
Due to its complexity, its challenging features, and its practical relevance, personnel scheduling has been heavily investigated in the last few decades. However, there is a relati...
Peter Brucker, Rong Qu, Edmund K. Burke
DFG
2009
Springer
14 years 4 months ago
Models of Non-atomic Congestion Games - From Unicast to Multicast Routing
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
Lasse Kliemann, Anand Srivastav
WAW
2007
Springer
122views Algorithms» more  WAW 2007»
14 years 3 months ago
A Geometric Preferential Attachment Model of Networks II
We study a random graph Gn that combines certain aspects of geometric random graphs and preferential attachment graphs. This model yields a graph with power-law degree distributio...
Abraham D. Flaxman, Alan M. Frieze, Juan Vera
ECMDAFA
2005
Springer
87views Hardware» more  ECMDAFA 2005»
14 years 3 months ago
On Relationships Between Query Models
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
Dominik Stein, Stefan Hanenberg, Rainer Unland