10159 search results - page 1807 / 2032 » System Design Validation Using Formal Models |
181
click to vote
VL
2005
IEEE
16 years 5 days ago
2005
IEEE
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
189
click to vote
MICAI
2005
Springer
16 years 3 days ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
219
click to vote
DBPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In the context of XML data management systems, the estimation of query cardinality is becoming more and more important: the information provided by a query result estimat...
177
click to vote
DBPL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
137
click to vote
CF
2008
ACM
15 years 8 months ago
2008
ACM
PRAM (Parallel Random Access Model) has been widely regarded a desirable parallel machine model for many years, but it is also believed to be "impossible in reality." As...