3555 search results - page 635 / 711 » Security-Critical System Development with Extended Use Cases |
102
click to vote
SAT
2009
Springer
15 years 8 months ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
102
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Governments are increasingly using collaborative, cross-boundary strategies to face complex social problems. Many of these cross-boundary initiatives have at their core the use, a...
118
click to vote
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— The traffic exchanged between two overlay nodes in different autonomous systems (AS) is always subjected to a series of inter-domain policies. However, overlay routing often m...
IWPC
2006
IEEE
15 years 7 months ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...