4211 search results - page 627 / 843 » A formal approach to MASQ |
156
click to vote
DBPL
2007
Springer
16 years 23 days ago
2007
Springer
Annotated relational databases can be queried either by simply making the annotations explicitly available along the ordinary data, or by adapting the standard query operators so ...
167
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
The focus of this paper is on how to design evolutionary algorithms (EAs) for solving stochastic dynamic optimization problems online, i.e. as time goes by. For a proper design, t...
189
click to vote
MIDDLEWARE
2007
Springer
16 years 22 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
194
click to vote
RAID
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
157
click to vote
VAMOS
2007
Springer
16 years 21 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...