1636 search results - page 247 / 328 » Reasoning About Quantum Systems |
191
click to vote
DSN
2005
IEEE
15 years 11 months ago
2005
IEEE
Since sensor data gathering is the primary functionality of sensor networks, it is important to provide a fault tolerant method for reasoning about sensed events in the face of ar...
207
click to vote
IMA
2005
Springer
15 years 11 months ago
2005
Springer
In recent years cryptographic protocols based on the Weil and Tate pairings on elliptic curves have attracted much attention. A notable success in this area was the elegant solutio...
169
click to vote
NORMAS
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we argue that allowing self-interested agents to activate social institutions during run-time can improve the robustness (i.e., stability, cooperation or fairness) ...
155
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
154
click to vote
PDC
2004
ACM
15 years 11 months ago
2004
ACM
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...