2004 search results - page 187 / 401 » Comparison of Model Checking Tools for Information Systems |
188
click to vote
TPDS
2002
15 years 5 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
181
click to vote
TELETRAFFIC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
145
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
192
click to vote
IIE
2007
15 years 6 months ago
2007
This paper describes a didactical Computer Aided Software Engineering (CASE)-tool that was developed for use within the context of a course in object-oriented domain modelling. In...
154
click to vote
FSEN
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...