3765 search results - page 157 / 753 » Formal Methods for Systems Engineering Behavior Models |
180
click to vote
ROBOCUP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
171
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
187
click to vote
ISORC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
174
click to vote
EDOC
2004
IEEE
2004
IEEE
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems
15 years 10 months ago
As the Internet, intranets and other wide-area open networks grow, novel techniques for building distributed systems, notably mobile agents, are attracting increasing attention. T...
176
click to vote
JCB
2006
15 years 6 months ago
2006
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...