3239 search results - page 544 / 648 » A Logical Process Calculus |
98
Voted
SIGMOD
2010
ACM
15 years 28 days ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
106
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
: We study a slotted version of the Aloha Medium Access (MAC) protocol in a Mobile Ad-hoc Network (MANET). Our model features transmitters randomly located in the Euclidean plane, ...
115
Voted
IJNSEC
2008
15 years 22 days ago
2008
Anomaly detectors have become a necessary component of the computer and information security framework. Some of the numerous drawbacks experienced by the current Anomaly detectors...
IJES
2006
15 years 22 days ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
116
click to vote
TCAD
2008
15 years 19 days ago
2008
Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the mos...