8701 search results - page 1259 / 1741 » XML-Based Feature Modelling |
171
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
Using visualization techniques to assist conventional data mining tasks has attracted considerable interest in recent years. This paper addresses a challenging issue in the use of...
153
click to vote
ADAEUROPE
2005
Springer
15 years 12 months ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
119
Voted
AIED
2005
Springer
15 years 12 months ago
2005
Springer
The research literature investigating the construction of tutorial dialogue and learning companion environments present parallel experiences in attempting to emulate what has been ...
167
Voted
CAV
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
148
Voted
CONTEXT
2005
Springer
15 years 12 months ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...