1063 search results - page 158 / 213 » Order and Negation as Failure |
GI
2007
Springer
15 years 6 months ago
2007
Springer
: Business information systems provide computer support for decision making across huge data sets. Smart Items are miniaturized computer and sensing systems embedded into physical ...
SARA
2007
Springer
15 years 6 months ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...
SARA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. If a CSP instance has no solution, it contains a smaller unsolvable subproblem that makes unsolvable the whole problem. When solving such instance, instead of just return...
TELETRAFFIC
2007
Springer
15 years 6 months ago
2007
Springer
Recent advances in telecommunication networks have allowed WDM to emerge as a viable solution to the ever-increasing demands of the Internet. In a wavelength-routed optical network...
APSEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Software systems, component-based systems (CBS) in particular, have a lot of vulnerabilities that may be exploited by intruders. Companies spend much time and money to “patch”...