29172 search results - page 368 / 5835 » Modeling Systems in CLP |
210
click to vote
ISCC
2006
IEEE
16 years 25 days ago
2006
IEEE
Denial-of-Service attacks, and jamming in particular, are a threat to wireless networks because they are at the same time easy to mount and difficult to detect and stop. We propo...
223
click to vote
PDCAT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Agent-based simulation of large multicellular biological systems has become a viable option owing to affordable parallel computers, such as Beowulf-style clusters. We de...
201
click to vote
RTSS
1995
IEEE
15 years 10 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
126
click to vote
CRIWG
2004
15 years 8 months ago
2004
In a cluster of many servers containing heterogeneous multimedia learning material and serving users with different backgrounds (e.g. language, interests, previous knowledge, hardw...
201
click to vote
ICONIP
2004
15 years 8 months ago
2004
Most of the current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (...