Sciweavers

8492 search results - page 322 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
172
Voted
ICSE
1998
IEEE-ACM
15 years 10 months ago
Integrating Architecture Description Languages with a Standard Design Method
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
Jason E. Robbins, Nenad Medvidovic, David F. Redmi...
184
Voted
CLEIEJ
2006
88views more  CLEIEJ 2006»
15 years 6 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
173
Voted
ISAS
2004
Springer
15 years 11 months ago
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
Stefano Porcarelli, Felicita Di Giandomenico, Paol...
180
Voted
ICTAI
1999
IEEE
15 years 10 months ago
A Practical Student Model in an Intelligent Tutoring System
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
Yujian Zhou, Martha W. Evens
IPPS
1999
IEEE
15 years 10 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...