Sciweavers

232 search results - page 28 / 47
» A Methodology to Provide and Use Interchangeable Services
Sort
View
ISPEC
2007
Springer
15 years 3 months 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»
14 years 9 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
15 years 3 months 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
14 years 11 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»
14 years 9 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