6581 search results - page 301 / 1317 » Formalizing Design Patterns |
197
click to vote
ICSE
2009
IEEE-ACM
15 years 4 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 ...
183
click to vote
RE
2007
Springer
16 years 24 days 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 ...
205
click to vote
MOBICOM
2006
ACM
16 years 19 days 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...
168
Voted
HT
2007
ACM
15 years 10 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...
159
click to vote
EGOV
2004
Springer
15 years 10 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...