2403 search results - page 104 / 481 » Using the WinWin Spiral Model: A Case Study |
169
click to vote
EDOC
2008
IEEE
16 years 2 days ago
2008
IEEE
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...
191
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
164
click to vote
ASYNC
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
155
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
The constant increase of moving object data imposes the need for modeling, processing, and mining trajectories, in order to find and understand the patterns behind these data. Ex...
150
click to vote
DSRT
2008
IEEE
16 years 2 days ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...