Sciweavers

466 search results - page 26 / 94
» Object Oriented Extension to Time Series Model
Sort
View
SAINT
2005
IEEE
14 years 1 months ago
Modeling Physical Hypermedia Applications
In this paper we present a modeling approach for building physical hypermedia (PH) applications, i.e. those applications in which real and digital objects are navigated using the ...
Silvia E. Gordillo, Gustavo Rossi, Fernando Lyarde...
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
13 years 9 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
DAGSTUHL
2004
13 years 9 months ago
Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon1
Abstract. Despite the recent interest for Model Driven Engineering approaches, the so-called four-layers metamodelling architecture is subject to a lot of debate. The relationship ...
Jean-Marie Favre
CBSE
2005
Springer
14 years 1 months ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di...
EOR
2010
92views more  EOR 2010»
13 years 7 months ago
A survey of variants and extensions of the resource-constrained project scheduling problem
The resource-constrained project scheduling problem (RCPSP) consists of activities that must be scheduled subject to precedence and resource constraints such that the makespan is ...
Sönke Hartmann, Dirk Briskorn