Sciweavers

14056 search results - page 26 / 2812
» Consistency in Model Integration
Sort
View
APCCM
2008
15 years 5 months ago
Modelling Inter-Process Dependencies with High-Level Business Process Modelling Languages
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
Georg Grossmann, Michael Schrefl, Markus Stumptner
CBSE
2009
Springer
15 years 10 months ago
Integrating Functional and Architectural Views of Reactive Systems
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
Jewgenij Botaschanjan, Alexander Harhurin
95
Voted
INTEGRATION
2010
70views more  INTEGRATION 2010»
15 years 2 months ago
Thermal modeling and analysis of 3D multi-processor chips
José L. Ayala, Arvind Sridhar, David Cuesta
109
Voted
DAGSTUHL
2007
15 years 5 months ago
An Information-Theoretic Model of Voting Systems
This paper presents an information-theoretic model of a voting system, consisting of (a) definitions of the desirable qualities of integrity, privacy and verifiability, and (b) ...
Benjamin Hosp, Poorvi L. Vora
FOSSACS
2005
Springer
15 years 9 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...