7821 search results - page 104 / 1565 » Nested Ordered Sets and their Use for Data Modelling |
226
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
135
click to vote
WSC
1997
15 years 7 months ago
1997
The problem of order release planning for a make-toorder production facility is addressed. Traditionally, order-release planning in a multi-stage shop is performed with material r...
142
click to vote
PTS
2007
15 years 7 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
122
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
Cartesian tensor basis have been widely used to approximate spherical functions. In Medical Imaging, tensors of various orders have been used to model the diffusivity function in ...
163
click to vote
DEXAW
2006
IEEE
16 years 12 hour ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...