5407 search results - page 670 / 1082 » The Software Engineering Global Model |
209
click to vote
STTT
2010
15 years 2 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
202
click to vote
TASLP
2010
15 years 2 months ago
2010
Abstract--We consider inference in a general data-driven object-based model of multichannel audio data, assumed generated as a possibly underdetermined convolutive mixture of sourc...
241
click to vote
EAAI
2010
15 years 6 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...
192
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
169
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
The definition of context experienced an evolution in the research area of context-aware computing, but still suffers from either generality or incompleteness. Furthermore, many de...