6581 search results - page 301 / 1317 » Formalizing Design Patterns |
154
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
139
click to vote
RE
2007
Springer
15 years 10 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
169
click to vote
MOBICOM
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present and describe VanetMobiSim, a generator of realistic vehicular movement traces for telecommunication networks simulators. VanetMobiSim mobility descriptio...
132
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
Folksonomies provide a free source of keywords describing web resources; however, these keywords are free form and their semantics spans multiple contextual dimension. In this pap...
128
click to vote
EGOV
2004
Springer
15 years 8 months ago
2004
Springer
Inherent complexity of the e-Government application domain is also reflected in the workflows of e-Government service provision. This paper reports on how some real examples e-Gove...