Sciweavers

2849 search results - page 435 / 570
» As We Should Have Thought
Sort
View
HICSS
2005
IEEE
143views Biometrics» more  HICSS 2005»
16 years 3 days ago
Strategic Versus Tactical Design
Abstract. We seek to distinguish Strategic design decisions (e.g., to adopt a programming paradigm, architectural style, CBSE standard or application framework) from tactical desig...
Amnon H. Eden
TLDI
2005
ACM
135views Formal Methods» more  TLDI 2005»
16 years 1 days ago
Types for describing coordinated data structures
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
Michael F. Ringenburg, Dan Grossman
ACMICEC
2004
ACM
148views ECommerce» more  ACMICEC 2004»
15 years 12 months ago
A secure and private clarke tax voting protocol without trusted authorities
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...
Changjie Wang, Ho-fung Leung
HICSS
2003
IEEE
207views Biometrics» more  HICSS 2003»
15 years 11 months ago
Formalizing Multi-Agent POMDP's in the context of network routing
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasie...
INFOCOM
1998
IEEE
15 years 10 months ago
Packet Fair Queueing Algorithms for Wireless Networks with Location-Dependent Errors
While Packet Fair Queueing (PFQ) algorithms provide both bounded delay and fairness in wired networks, they cannot be applied directly to wireless networks. The key difficulty is t...
T. S. Eugene Ng, Ion Stoica, Hui Zhang