Sciweavers

4902 search results - page 299 / 981
» Multi-agent Systems Methodology
Sort
View
IJDE
2007
105views more  IJDE 2007»
15 years 6 months ago
Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method
Inconsistencies in various data structures, such as missing log records and modified operating system files, have long been used by intrusion investigators and forensic analysts a...
Pavel Gladyshev, Andreas Enbacka
OTM
2010
Springer
15 years 5 months ago
A Personalized and Collaborative eLearning Materials Recommendation Scenario Using Ontology-Based Data Matching Strategies
Abstract. We propose a virtual teacher for the evaluation of students’ competencies. It aims to improve learning by making personalized suggestions on the learning materials. It ...
Ioana Ciuciu, Yan Tang
ICCD
2002
IEEE
141views Hardware» more  ICCD 2002»
16 years 3 months ago
Embedded Operating System Energy Analysis and Macro-Modeling
A large and increasing number of modern embedded systems are subject to tight power/energy constraints. It has been demonstrated that the operating system (OS) can have a signifi...
Tat Kee Tan, Anand Raghunathan, Niraj K. Jha
ISSTA
2010
ACM
15 years 10 months ago
Testing system virtual machines
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
Lorenzo Martignoni, Roberto Paleari, Giampaolo Fre...
ISLPED
2010
ACM
236views Hardware» more  ISLPED 2010»
15 years 7 months ago
Analysis and design of ultra low power thermoelectric energy harvesting systems
Thermal energy harvesting using micro-scale thermoelectric generators is a promising approach to alleviate the power supply challenge in ultra low power systems. In thermal energy...
Chao Lu, Sang Phill Park, Vijay Raghunathan, Kaush...