Sciweavers

7340 search results - page 406 / 1468
» The Behavior of Tutoring Systems
Sort
View
ICPADS
2005
IEEE
16 years 12 days ago
An Architecture for Multi-Agent COTS Software Integration Systems
Commercial Off-The-Shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software int...
Guo-Ming Fang, Jim-Min Lin
EMSOFT
2005
Springer
16 years 10 days ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
OTM
2005
Springer
16 years 8 days ago
JXTA Messaging: Analysis of Feature-Performance Tradeoffs and Implications for System Design
Abstract. With the rise of Peer-to-Peer and Grid infrastructures, there is a renewed interest in messaging systems. Among the numerous messaging solutions for large loosely coupled...
Emir Halepovic, Ralph Deters, Bernard Traversat
CODES
2002
IEEE
15 years 11 months ago
The design context of concurrent computation systems
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
JoAnn M. Paul, Christopher M. Eatedali, Donald E. ...
CONCUR
2001
Springer
15 years 11 months ago
Compositional Methods for Probabilistic Systems
Abstract. We present a compositional trace-based model for probabilistic systems. The behavior of a system with probabilistic choice is a stochasticprocess, namely, a probability d...
Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala