932 search results - page 77 / 187 » Verifying Progress in Timed Systems |
111
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
Over the past decade, Intrusion Detection Systems (IDS) have improved steadily in the efficiency and effectiveness with which they detect intrusive activity. This is particularly ...
137
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
121
click to vote
SNPD
2004
15 years 5 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
127
click to vote
ERSA
2006
15 years 5 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
148
click to vote
WMTE
2002
IEEE
15 years 8 months ago
2002
IEEE
The design of a personal, mobile Knowledge and Learning Organisation System (KLeOS) is described. Studies of adult learning practice showed [1] that learning activity is mobile be...