Sciweavers

29172 search results - page 383 / 5835
» Modeling Systems in CLP
Sort
View
DEXAW
2004
IEEE
97views Database» more  DEXAW 2004»
15 years 10 months ago
A Conceptual Model Based Distance Learning System for Computer Literacy
In distance learning for computer literacy, a student's skill is dependent on personal experience. In such cases, it is important to determine the student's understandin...
Yoshiki Murotani, Minoru Uehara, Hideki Mori
CAISE
2008
Springer
15 years 8 months ago
Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
Patrik Spieß, Dinh Khoa Nguyen, Ingo Weber, ...
HCI
2007
15 years 8 months ago
Modeling Content and Expression of Learning Objects in Multimodal Learning Management Systems
The paper discusses the relation between accessibility and multimodality of learning objects. I present a framework, rooted in linguistics, that supports a clear distinction betwee...
Giorgio Brajnik
ICONIP
2007
15 years 8 months ago
A System Model for Real-Time Sensorimotor Processing in Brain
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...
Yutaka Sakaguchi
ENTCS
2008
94views more  ENTCS 2008»
15 years 6 months ago
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
This paper presents our solutions to some problems we encountered in an ongoing attempt to verify the micro-hypervisor currently developed within the Robin project. The problems t...
Hendrik Tews, Tjark Weber, Marcus Völp