620 search results - page 30 / 124 » Concrete Abstractions |
TKDE
2002
13 years 9 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...
SEW
2006
IEEE
14 years 3 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
AIPS
2011
13 years 1 months ago
2011
We consider the problem of finding generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification...
GI
2008
Springer
13 years 11 months ago
2008
Springer
: For the deployment of ambient services it is unrealistic to base user-computer interaction on traditional mouse or keyboard. Replacing them with other proprietary devices just mo...
ENTCS
2008
13 years 10 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...