1613 search results - page 211 / 323 » Model-Driven Constraint Engineering |
129
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
110
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersâ...
137
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
The core problem in risk analysis - determining exploitable paths between attackers and system assets is essentially a problem of determining information flow. It is relatively st...
116
click to vote
UIST
2005
ACM
15 years 10 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...
105
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Many multi-agent systems seek to reconcile two apparently inconsistent constraints. The system’s overall objective is defined at a global level. However, the agents have only lo...