1541 search results - page 226 / 309 » Tools and Techniques for Model Checking Networked Programs |
183
click to vote
IDA
1999
Springer
15 years 10 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
132
click to vote
AOSD
2006
ACM
16 years 5 days ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
159
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
We propose a new objective for network research: to build a fundamentally different sort of network that can assemble itself given high level instructions, reassemble itself as re...
188
click to vote
EUROMICRO
2006
IEEE
16 years 7 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
155
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...