4117 search results - page 552 / 824 » On the Satisfiability of Complex Constraints |
179
click to vote
SECURWARE
2008
IEEE
16 years 1 months ago
2008
IEEE
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have inconsistencies, allowing traffic that should be denied o...
181
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
159
click to vote
MABS
2007
Springer
16 years 27 days ago
2007
Springer
Crowd simulation is a complex and challenging domain. Crowds demonstrate many complex behaviours and are consequently difficult to model for realistic simulation systems. Analyzing...
184
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Advances in data collection technologies allow accumulation of large and high dimensional datasets and provide opportunities for learning high quality classification and regression...
190
click to vote
ICDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...