Sciweavers

835 search results - page 32 / 167
» A calculus of challenges and responses
Sort
View
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
14 years 24 days ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
ICNP
2002
IEEE
14 years 19 days ago
Sync-MS: Synchronized Messaging Service for Real-Time Multi-Player Distributed Games
Real-time, online multi-player games are becoming increasingly popular due to advances in game design and the proliferation of broadband Internet access. However, fairness remains...
Yow-Jian Lin, Katherine Guo, Sanjoy Paul
ECTEL
2008
Springer
13 years 8 months ago
Immediate Elaborated Feedback Personalization in Online Assessment
Providing a student with feedback that is timely, most suitable and useful for her personality and the performed task is a challenging problem of online assessment within Web-based...
Ekaterina Vasilyeva, Paul De Bra, Mykola Pechenizk...
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
14 years 28 days ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
ITICSE
2000
ACM
14 years 2 days ago
Has our curriculum become math-phobic? (an American perspective)
We are concerned about a view in undergraduate computer science education, especially in the early courses, that it’s okay to be math-phobic and still prepare oneself to become ...
Charles Kelemen, Allen B. Tucker, Peter Henderson,...