Sciweavers

7340 search results - page 306 / 1468
» The Behavior of Tutoring Systems
Sort
View
IEICET
2006
61views more  IEICET 2006»
15 years 6 months ago
A Refined Theory for Available Operation of Extremely Complicated Large-Scale Network Systems
In this paper 1 , we shall describe about a refined theory based on the concept of set-valued operators, suitable for available operation of extremely complicated large-scale netwo...
Kazuo Horiuchi
FUIN
2010
103views more  FUIN 2010»
15 years 5 months ago
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
ICSE
2009
IEEE-ACM
16 years 1 months ago
RAIDE for engineering architecture-based self-adaptive systems
Rainbow is an approach for engineering selfadaptive systems, with run-time, closed-loop control over target systems to monitor, detect, decide, and act on opportunities for system...
Shang-Wen Cheng, David Garlan, Bradley R. Schmerl
ISDA
2005
IEEE
16 years 6 days ago
Representing Users in a Travel Support System
We consider the construction and management of user profiles for an agent-based travel support system, with the goal of providing personalized content for individual users of the ...
Maciej Gawinecki, Zygmunt Vetulani, Minor Gordon, ...
FORMATS
2006
Springer
15 years 10 months ago
On Timed Simulation Relations for Hybrid Systems and Compositionality
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
Goran Frehse