Sciweavers

8154 search results - page 1426 / 1631
» Understanding changes in use cases: A case study
Sort
View
JUCS
2008
155views more  JUCS 2008»
15 years 6 months ago
Dynamic Bandwidth Pricing: Provision Cost, Market Size, Effective Bandwidths and Price Games
Abstract: Nowadays, in the markets of broadband access services, traditional contracts are of "static" type. Customers buy the right to use a specific amount of resources...
Sergios Soursos, Costas Courcoubetis, Richard R. W...
JLP
2006
111views more  JLP 2006»
15 years 6 months ago
Executable structural operational semantics in Maude
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
Alberto Verdejo, Narciso Martí-Oliet
JOT
2006
113views more  JOT 2006»
15 years 6 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
A Framework for Timed Concurrent Constraint Programming with External Functions
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
María Alpuente, Bernhard Gramlich, Alicia V...
EOR
2007
221views more  EOR 2007»
15 years 6 months ago
Application of the analytical hierarchy process to establish health care waste management systems that minimise infection risks
This paper focuses on the application of the analytical hierarchy process (AHP) technique in the context of sustainable development to establish and optimise health care waste man...
Alan C. Brent, David E. C. Rogers, Tsaletseng S. M...
« Prev « First page 1426 / 1631 Last » Next »