13985 search results - page 2227 / 2797 » Active Feature Models |
187
click to vote
CAV
2005
Springer
16 years 18 days 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...
165
Voted
CONTEXT
2005
Springer
16 years 18 days 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...
203
click to vote
DAGM
2005
Springer
16 years 18 days ago
2005
Springer
We present an approach for the supervised online learning of object representations based on a biologically motivated architecture of visual processing. We use the output of a rece...
166
Voted
FM
2005
Springer
16 years 18 days ago
2005
Springer
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
203
click to vote
GCC
2005
Springer
16 years 18 days ago
2005
Springer
Metadata is the information that describes the most important feature of an object. In recent years, metadata plays a more and more important role in data intensive applications. I...