2806 search results - page 420 / 562 » BML and Related Tools |
215
click to vote
IJCAI
2003
15 years 7 months ago
2003
We propose a new framework to study properties of consistency in a Constraint Network from the perspective of properties of set intersection. Our framework comes with a proof sche...
200
click to vote
SPLC
2004
15 years 7 months ago
2004
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...
133
click to vote
IM
2003
15 years 7 months ago
2003
: Desktop management is probably the most resource-consuming task for the typical operations and support team, regardless of being frequently overlooked as not as complex or specia...
143
click to vote
WSC
2004
15 years 7 months ago
2004
Human behavior representation (HBR) is an elusive, yet critical goal for many in the simulation community. Requirement specifications related to HBR often exceed current capabilit...
161
click to vote
WSC
2004
15 years 7 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...