10159 search results - page 1762 / 2032 » System Design Validation Using Formal Models |
175
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...
187
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
159
click to vote
IJRR
2008
15 years 6 months ago
2008
We explore the capabilities of a robotic sensing system designed to locate objects underwater through active movement of an electric field emitter and sensor apparatus. The system ...
141
click to vote
JSAC
2007
15 years 6 months ago
2007
— Static spectrum allocation prohibits radio devices from using spectral bands designated for others. As a result, some bands are under-utilized while other bands are over-popula...
186
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Thecurrent frameworkfor constructing intelligent tutoring systems(ITS) is to use psychological/pedagogical theories of learning, and encode this knowledgeinto the tutor. However,t...