6239 search results - page 170 / 1248 » From Zinc to Design Model |
179
Voted
ENTCS
2007
15 years 7 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
161
Voted
OPODIS
2007
15 years 8 months ago
2007
Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumptions that such a system has to satisfy for a common leade...
160
click to vote
EMISA
2004
Springer
16 years 13 days ago
2004
Springer
: This paper addresses heterogeneity of business process metamodels and related interchange formats. The different approaches towards interchange format design and effects of inter...
164
Voted
SMA
2003
ACM
16 years 8 days ago
2003
ACM
This paper presents a new method to compute constructive solid geometry (CSG) tree representations of an object whose faces consist of planar and non-planar surfaces. The algorith...
198
Voted
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
In preparation for the Intergovernmental Panel on Climate Change (IPCC) Fifth Assessment Report, the climate community will run the Coupled Model Intercomparison Project phase 5 (...