1541 search results - page 226 / 309 » Tools and Techniques for Model Checking Networked Programs |
131
Voted
IDA
1999
Springer
15 years 4 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...
AOSD
2006
ACM
15 years 6 months 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-...
93
Voted
SIGCOMM
2003
ACM
15 years 5 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...
119
Voted
EUROMICRO
2006
IEEE
15 years 6 months 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...
95
Voted
ATAL
2009
Springer
15 years 5 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...