1469 search results - page 184 / 294 » Structural aspects of tilings |
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...
115
click to vote
3DGIS
2006
Springer
15 years 5 months ago
2006
Springer
The modelling or reconstruction of buildings has two aspects – on the one hand we need a data structure and the associated geometric information, and on the other hand we need a...
CICLING
2001
Springer
15 years 3 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
109
click to vote
WEBI
2001
Springer
15 years 3 months ago
2001
Springer
As meta-data become of ever more importance to the Web, we will need to start managing such meta-data. We argue that there is a strong need for meta-data validation and aggregation...
118
click to vote
MBEES
2008
15 years 21 days ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...