4047 search results - page 549 / 810 » Some Properties and Some Problems on Set Functors |
163
click to vote
ASM
2004
ASM
15 years 12 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
186
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— A Mobile Ad hoc Network (MANET) is a collection of wireless mobile nodes forming a temporary network without using any existing infrastructure. Since not many MANETs are curren...
163
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...
151
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Due to inherent privacy concerns, online personalization services such as those offered through toolbars and desktop widgets are characterized by "no-free-disposal" (NFD...
190
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Recently, mass spectrometry data have been mined using a genetic algorithm to produce discriminatory models that distinguish healthy individuals from those with cancer...