1121 search results - page 186 / 225 » Building Formal Requirements Models for Reliable Software |
116
click to vote
SAC
2010
ACM
15 years 8 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 ...
162
click to vote
AAAIDEA
2005
IEEE
15 years 7 months ago
2005
IEEE
Voice over IP (VoIP) and Instant Messaging (IM) systems to date have either followed a client-server model or have required the use of clients that do not follow any VoIP or IM st...
111
click to vote
CHI
2000
ACM
15 years 6 months ago
2000
ACM
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...
115
click to vote
SC
2009
ACM
15 years 6 months ago
2009
ACM
Reconfigurable computing (RC) is rapidly becoming a vital technology for many applications, from high-performance computing to embedded systems. The inherent advantages of custom-...
119
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...