211 search results - page 2 / 43 » A verification system for interval-based specification langu... |
IFIP
2009
Springer
13 years 3 months ago
2009
Springer
Side channel attacks have emerged as a serious threat to the security of both networked and embedded systems
IFIP13
2004
13 years 7 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
IAT
2007
IEEE
14 years 2 days ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
INFSOF
2006
13 years 5 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
ACSD
2006
IEEE
13 years 9 months ago
2006
IEEE
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...