11160 search results - page 348 / 2232 » Incompleteness in a General Setting |
203
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
192
click to vote
IEEEPACT
2006
IEEE
16 years 24 days ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
209
Voted
SCESM
2006
ACM
16 years 22 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
179
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
— Input Queued(IQ) switches have been very well studied in the recent past. The main problem in the IQ switches concerns scheduling. The main focus of the research has been the ...
160
click to vote
IJCAI
1989
15 years 8 months ago
1989
This paper deals with a well known problem in AI planning: detecting and resolving conflicts in nonlinear plans. We sketch a theory of restricted conflict detection and resolution...