2004 search results - page 169 / 401 » Comparison of Model Checking Tools for Information Systems |
184
click to vote
SPIN
2007
Springer
16 years 6 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
177
click to vote
JSAC
2011
15 years 1 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
175
Voted
CCS
2006
ACM
15 years 9 months ago
2006
ACM
Traditional security policies largely focus on access control requirements, which specify who can access what under what circumstances. Besides access control requirements, the av...
185
click to vote
CIKM
2006
Springer
15 years 9 months ago
2006
Springer
Familiar evaluation methodologies for information retrieval (IR) are not well suited to the task of comparing systems in many real settings. These systems and evaluation methods m...
153
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this paper we report on a feasibility study in reengineering legacy systems towards a model-driven architecture (MDA). Steps in our approach consist of (1) parsing the...