4224 search results - page 635 / 845 » Reasoning about Choice |
188
click to vote
ACMMSP
2006
ACM
16 years 17 days ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
202
click to vote
PLDI
2006
ACM
16 years 16 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
167
click to vote
SIGCSE
2006
ACM
16 years 16 days ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
177
click to vote
SOFTVIS
2006
ACM
16 years 16 days ago
2006
ACM
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...
190
click to vote
AICT
2005
IEEE
16 years 6 days ago
2005
IEEE
Clock synchronization has paid a great magnitude of attention in the distributed systems. Sensor networks differ from traditional distributed system in many ways. One of the drama...