1501 search results - page 105 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
126
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
: Integrated environmental resources management is a purposeful activity with the goal to maintain and improve the state of an environmental resource affected by human activities. ...
139
click to vote
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
170
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
115
click to vote
ICRE
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
151
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...