8067 search results - page 1458 / 1614 » A Model Proposal of the Interoperability Problem |
129
click to vote
AAAI
2008
15 years 7 months ago
2008
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are P 2 hard. To overc...
141
Voted
AAAI
2008
15 years 7 months ago
2008
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...
130
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
146
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
The standard solution for user authentication on the Web is to establish a TLS-based secure channel in server authenticated mode and run a protocol on top of TLS where the user en...
159
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...