2162 search results - page 124 / 433 » Automated Reasoning on Feature Models |
116
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...
131
Voted
TIME
2008
IEEE
15 years 10 months ago
2008
IEEE
Boolean contact algebras constitute a convenient approach to a region based theory of space. In this paper we want to extend this approach to regions moving in time - called timed...
109
Voted
FIW
2003
15 years 5 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
128
click to vote
ICCV
2007
IEEE
16 years 5 months ago
2007
IEEE
Tumor segmentation from MRI data is an important but time consuming task performed manually by medical experts. Automating this process is challenging due to the high diversity in...
120
click to vote
FGCS
2006
15 years 4 months ago
2006
This work introduces a method for instrumenting applications, producing execution traces, and visualizing multiple trace instances to identify performance features. The approach p...