1712 search results - page 174 / 343 » Abstract Constraint Data Types |
112
click to vote
FMCAD
2007
Springer
15 years 6 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
112
click to vote
CIE
2009
Springer
15 years 9 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
141
click to vote
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Many environments in which people and computer agents interact involve deploying resources to accomplish tasks and satisfy goals. This paper investigates the way that the...
107
click to vote
TITB
2010
14 years 9 months ago
2010
This paper tests the hypothesis that a "universal," data-driven model can be developed based on glucose data from one diabetic subject, and subsequently applied to predic...
126
click to vote
ECWEB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...