Sciweavers

783 search results - page 70 / 157
» Communities from seed sets
Sort
View
SAS
2004
Springer
123views Formal Methods» more  SAS 2004»
15 years 5 months ago
Non-termination Inference for Constraint Logic Programs
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
Étienne Payet, Frédéric Mesna...
ENTCS
2007
94views more  ENTCS 2007»
14 years 12 months ago
Virtual Organizations in Arigatoni
Arigatoni is a lightweight overlay network that deploys the Global Computing Paradigm over the Internet. Communication for over the behavioral units of the overlay is performed by...
Michel Cosnard, Luigi Liquori, Raphaël Chand
COMPUTER
2000
128views more  COMPUTER 2000»
14 years 11 months ago
What's Ahead for Embedded Software?
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
Edward A. Lee
GROUP
2010
ACM
14 years 10 months ago
Everyday favors: a case study of a local online gift exchange system
This paper focuses on online gift exchange in a setting where online and offline interactions are tightly intertwined and most of the exchanges require face-to-face interaction to...
Emmi Suhonen, Airi Lampinen, Coye Cheshire, Judd A...
IACR
2011
82views more  IACR 2011»
13 years 11 months ago
Wild McEliece Incognito
The wild McEliece cryptosystem uses wild Goppa codes over finite fields to achieve smaller public key sizes compared to the original McEliece cryptosystem at the same level of se...
Daniel J. Bernstein, Tanja Lange, Christiane Peter...