3830 search results - page 612 / 766 » From Reference Model to Component Model |
127
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
100
click to vote
COOPIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This pape...
131
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
112
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes the design and evaluation of a robust integrator for software-implemented control systems. The integrator is constructed as a generic component in the Simulin...
125
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Our “information-oriented” society shows an increasing exigency of life-long learning. In such framework, online Learning is becoming an important tool to allow the flexibilit...