5205 search results - page 315 / 1041 » Tilings and model theory |
109
Voted
FASE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
103
click to vote
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The term of a "process" is used in Software Engineering (SE) theories and practices in many different ways, which cause confusion. In this paper we will firstly...
114
click to vote
DOLAP
2005
ACM
15 years 2 months ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
93
Voted
IQ
2007
15 years 2 months ago
2007
: To manage information quality (IQ) effectively, one needs to know how IQ changes over time, what causes it to change, and whether the changes can be predicted. In this paper we a...
106
click to vote
PTS
2008
15 years 2 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...