2558 search results - page 220 / 512 » Model Composition Contracts |
165
click to vote
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
141
click to vote
ICOST
2007
Springer
15 years 11 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
140
click to vote
TRUSTBUS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A Virtual Organisation (VO) is a temporary alliance of autonomous, diverse, and geographically dispersed organisations, where the participants pool resources, information...
138
Voted
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose a new data structure for the compact encoding of a Level-Of-Detail (LOD) model of a threedimensional scalar field based on unstructured tetrahedral meshes. Such data s...
158
click to vote
TGC
2005
Springer
15 years 10 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...