5015 search results - page 408 / 1003 » Model Checking a Path |
189
click to vote
ECMDAFA
2007
Springer
16 years 27 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
138
click to vote
ER
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
189
click to vote
ICESS
2005
Springer
16 years 7 days ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
184
click to vote
ICNC
2005
Springer
16 years 7 days ago
2005
Springer
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...
168
click to vote
DSOM
2004
Springer
16 years 3 days ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...