3082 search results - page 13 / 617 » Deviation Analysis: A New Use of Model Checking |
101
Voted
AGTIVE
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
75
Voted
SOSP
2003
ACM
15 years 6 months ago
2003
ACM
Peer-to-peer (P2P) file sharing accounts for an astonishing volume of current Internet traffic. This paper probes deeply into modern P2P file sharing systems and the forces that...
DEXAW
2006
IEEE
15 years 3 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
68
Voted
IEAAIE
2011
Springer
14 years 27 days ago
2011
Springer
Persons with an Autism Spectrum Disorder (ASD) may show certain types of deviations in social functioning. Since the discovery of mirror neuron systems and their role in social fun...
TACAS
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...