3885 search results - page 227 / 777 » Clarifying Goal Models |
185
click to vote
ASIAMS
2009
IEEE
16 years 4 days ago
2009
IEEE
Cognitive radio has the ability to sense the environment and adapt its behavior to optimize communication features, such as quality of service in the presence of interference and ...
168
click to vote
ISBRA
2009
Springer
16 years 3 days ago
2009
Springer
Identifying gene regulatory networks from high-throughput gene expression data is one of the most important goals of bioinformatics, but it remains difficult to define what makes a...
129
Voted
EMSOFT
2009
Springer
15 years 12 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
211
click to vote
FOSAD
2009
Springer
15 years 12 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
165
click to vote
MDM
2009
Springer
15 years 12 months ago
2009
Springer
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...