6040 search results - page 272 / 1208 » Generating Instance Models from Meta Models |
94
Voted
ENTCS
2006
15 years 15 days ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
132
Voted
ICDIM
2010
IEEE
14 years 10 months ago
2010
IEEE
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...
SG
2009
Springer
15 years 7 months ago
2009
Springer
When we construct a model of origami (a model of a folded sheet of paper) in a computer, it is usual to represent the model as a set of polygons having zero thickness. One of the t...
139
click to vote
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
107
click to vote
ER
1998
Springer
15 years 4 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...