1407 search results - page 28 / 282 » Towards Usable Analysis, Design and Modeling Tools |
157
click to vote
NAR
2006
15 years 4 months ago
2006
Systemslevelinvestigationofgenomicscaleinformation requires the development of truly integrated databases dealing with heterogeneous data, which can be queried for simple properti...
145
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
151
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
153
click to vote
ACMSE
2007
ACM
15 years 8 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
125
click to vote
TACAS
2005
Springer
15 years 10 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...