Sciweavers

1285 search results - page 49 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
97
Voted
TCS
2008
15 years 13 days ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
15 years 7 months ago
Modeling Event Stream Hierarchies with Hierarchical Event Models
Compositional Scheduling Analysis couples local scheduling analysis via event streams. While local analysis has successfully been extended to include hierarchical scheduling strat...
Jonas Rox, Rolf Ernst
APCCM
2006
15 years 1 months ago
Defining and implementing domains with multiple types using mesodata modelling techniques
The integration of data from different sources often leads to the adoption of schemata that entail a loss of information in respect of one or more of the data sets being combined....
Sally Rice, John F. Roddick, Denise de Vries
90
Voted
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 18 days ago
Nested Ordered Sets and their Use for Data Modelling
In this paper we present a new approach to data modelling, called the concept-oriented model (CoM), and describe its main features and characteristics including data semantics and ...
Alexandr A. Savinov
94
Voted
HYBRID
2000
Springer
15 years 4 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas