1123 search results - page 91 / 225 » Network Protocol System Fingerprinting - A Formal Approach |
141
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
132
click to vote
CBSE
2009
Springer
15 years 10 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
190
Voted
FORTEST
2008
15 years 5 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
140
click to vote
KIVS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents several results on dynamic OFDMA systems. It addresses especially the algorithmic complexity involved with several resource allocation approaches, sub-optimal h...
131
click to vote
VLSID
2006
IEEE
16 years 4 months ago
2006
IEEE
- Security protocols, such as IPSec and SSL, are being increasingly deployed in the context of networked embedded systems. The resource-constrained nature of embedded systems and, ...