4890 search results - page 388 / 978 » From system specifications to component behavioral models |
245
click to vote
MC
2001
15 years 8 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
156
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
179
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
172
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
180
click to vote
DMIN
2006
15 years 8 months ago
2006
Since it is desirable for an intrusion detection system to be operated with the real time performance, it is not unusual for an intrusion detection engine to perform a "lazy ...