Sciweavers

703 search results - page 60 / 141
» On Addressing the Computer Science Crisis
Sort
View
ACSC
2008
IEEE
15 years 4 months ago
Integrating recommendation models for improved web page prediction accuracy
Recent research initiatives have addressed the need for improved performance of Web page prediction accuracy that would profit many applications, ebusiness in particular. Differ...
Faten Khalil, Jiuyong Li, Hua Wang
FOCS
2007
IEEE
15 years 4 months ago
Round Complexity of Authenticated Broadcast with a Dishonest Majority
Broadcast among n parties in the presence of t ≥ n/3 malicious parties is possible only with some additional setup. The most common setup considered is the existence of a PKI an...
Juan A. Garay, Jonathan Katz, Chiu-Yuen Koo, Rafai...
SOFSEM
2007
Springer
15 years 3 months ago
Personalized Presentation in Web-Based Information Systems
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
Michal Tvarozek, Michal Barla, Mária Bielik...
VL
2006
IEEE
220views Visual Languages» more  VL 2006»
15 years 3 months ago
AgentCubes: Raising the Ceiling of End-User Development in Education through Incremental 3D
Now that we have end-user programming environments capable of empowering kids with no programming background to build games in a matter of hours, a new quest for raising the ceili...
Alexander Repenning, Andri Ioannidou
RTA
2005
Springer
15 years 3 months ago
Intruder Deduction for AC-Like Equational Theories with Homomorphisms
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
Pascal Lafourcade, Denis Lugiez, Ralf Treinen