1809 search results - page 94 / 362 » A Formal Specification of dMARS |
DATE
1998
IEEE
14 years 1 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
ANTSW
2008
Springer
13 years 11 months ago
2008
Springer
Design and development of routing protocols for Mobile Ad Hoc Networks (MANETs) is an active area of research. The standard practice among researchers working in this emerging doma...
AO
2006
13 years 9 months ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
APSEC
2000
IEEE
14 years 17 days ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...