4348 search results - page 145 / 870 » Using UML for Modeling Complex Real-Time Systems |
147
Voted
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
106
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
138
click to vote
ASWEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the...
131
Voted
ASWEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
149
Voted
SCP
2002
15 years 2 months ago
2002
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...