11182 search results - page 1857 / 2237 » Shape Analysis of Sets |
236
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Our demo presents an agent-based intrusion detection system designed for deployment on high-speed backbone networks. The major contribution of the system is the integration of sev...
200
click to vote
ATC
2008
Springer
15 years 9 months ago
2008
Springer
Dynamic collaboration environments in which team member utilize different pervasive collaboration services for their collaborative work pose many challenges for service adaptation....
230
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
204
click to vote
ATVA
2008
Springer
15 years 9 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
252
click to vote
AUSDM
2008
Springer
15 years 9 months ago
2008
Springer
Accurate and less invasive personalized predictive medicine can spare many breast cancer patients from receiving complex surgical biopsies, unnecessary adjuvant treatments and its...