Sciweavers

232 search results - page 28 / 47
» A Methodology to Provide and Use Interchangeable Services
Sort
View
ISPEC
2007
Springer
16 years 24 days ago
An Economical Model for the Risk Evaluation of DoS Vulnerabilities in Cryptography Protocols
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...
Zhen Cao, Zhi Guan, Zhong Chen, Jian-bin Hu, Liyon...
MM
2010
ACM
183views Multimedia» more  MM 2010»
15 years 6 months ago
MediaPick: tangible semantic media retrieval system
This paper addresses the design and development of MediaPick [1], an interactive multi-touch system for semantic search of multimedia contents. Our solution provides an intuitive,...
Gianpaolo D'Amico, Andrea Ferracani, Lea Landucci,...
AIED
2005
Springer
16 years 6 days ago
Automatic and Semi-Automatic Skill Coding With a View Towards Supporting On-Line Assessment
This paper explores the problem of automatic and semi-automatic coding of on-line test items with a skill coding that allows the assessment to occur at a level that is both indicat...
Carolyn Penstein Rosé, Pinar Donmez, Gahgen...
WSC
2000
15 years 8 months ago
A Java-based simulation manager for web-based simulation
This paper discusses a Web-based simulation manager program that executes an Application Service Provider (ASP) event for a customer who does not possess the inhouse capability to...
Charles Marr, Christopher Storey, William E. Biles...
RTS
2008
131views more  RTS 2008»
15 years 6 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek