1124 search results - page 92 / 225 » Refined quorum systems |
150
click to vote
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
With the increasing interest in developing pervasive computing technologies there is growing recognition of the problems of maintaining user privacy. In the Daidalos pervasive sys...
171
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transform...
162
click to vote
PTS
2008
15 years 8 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
168
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
156
click to vote
ISIWI
2000
15 years 7 months ago
2000
This paper presents a visual information seeking system for the WWW called INSYDER1 . The aim of INSYDER is to find business information from the WWW. Information seeking - especi...