Sciweavers

2306 search results - page 49 / 462
» Modeling issues in a shipping system
Sort
View
IPPS
1999
IEEE
14 years 1 months ago
Building an Adaptive Multimedia System using the Utility Model
We present our experience of building a prototype system based on the Utility Model for adaptive multimedia. The Utility Model is proposed to capture the issues and dynamics in mul...
Lei Chen, Shahadat Khan, Kin F. Li, Eric G. Mannin...
ASWSD
2006
Springer
14 years 19 days ago
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...
IRI
2008
IEEE
14 years 3 months ago
Development of an evaluation model for Question Answering Systems
Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language proc...
Chorng-Shyong Ong, Min-Yuh Day, Wen-Lian Hsu
USENIX
1990
13 years 10 months ago
A New Design for Distributed Systems: The Remote Memory Model
This paper describes a new model for constructing distributed systems called the Remote Memory Model. The remote memory model consists of several client machines, one or more dedi...
Douglas Comer, Jim Griffioen
SIGOPS
2008
141views more  SIGOPS 2008»
13 years 8 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager