16216 search results - page 51 / 3244 » Effective Modeling with Constraints |
147
Voted
APSEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
143
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
102
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper is concerned with the estimation of the directionsof-arrival (DOA) of narrowband sources using a sparse spatial spectral model, when the model itself is not precise. Wh...
139
click to vote
ICMCS
1996
IEEE
15 years 8 months ago
1996
IEEE
The most notable characteristic of continuous-media data is the existence of timing constraints. To handle such data appropriately, some system support for resource management and...
140
Voted
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...