5900 search results - page 936 / 1180 » Dependable Systems |
203
click to vote
HASKELL
2005
ACM
16 years 5 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
168
click to vote
PODC
2005
ACM
16 years 5 days ago
2005
ACM
The obstruction-free Dynamic Software Transactional Memory (DSTM) system of Herlihy et al. allows only one transaction at a time to acquire an object for writing. Should a second ...
165
click to vote
WS
2005
ACM
16 years 5 days ago
2005
ACM
Many key pre-distribution techniques have been developed recently to establish pairwise keys for wireless sensor networks. To further improve these schemes, researchers have propo...
178
click to vote
AOSE
2005
Springer
16 years 4 days ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
181
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
A directed agent implies an agent with high constraints in both recognition and motion. Because of the embodied restrictions, the directed agent perceives a sense of subjective di...