181 search results - page 14 / 37 » Extending DTGOLOG with Options |
ICSE
2003
IEEE-ACM
15 years 3 months ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
79
Voted
AINA
2004
IEEE
15 years 1 months ago
2004
IEEE
Unlike host mobility support, network mobility is concerned with situations where an entire network changes its point of attachment to the Internet. Furthermore, we should conside...
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
EWSN
2009
Springer
15 years 10 months ago
2009
Springer
The problem of configuration of Wireless Sensor Networks is an interesting challenge. The objective is to find the settings, for each sensor node, that optimise certain task-level ...
165
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
The performance of XML database queries can be greatly enhanced by rewriting them using materialized views. We study the problem of rewriting a query using materialized views, whe...