Sciweavers

1660 search results - page 190 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
ICSE
2004
IEEE-ACM
16 years 3 months ago
Verifying DAML+OIL and Beyond in Z/EVES
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H....
MICRO
2009
IEEE
113views Hardware» more  MICRO 2009»
15 years 10 months ago
Portable compiler optimisation across embedded programs and microarchitectures using machine learning
Building an optimising compiler is a difficult and time consuming task which must be repeated for each generation of a microprocessor. As the underlying microarchitecture changes...
Christophe Dubach, Timothy M. Jones, Edwin V. Boni...
ICRA
2007
IEEE
151views Robotics» more  ICRA 2007»
15 years 10 months ago
Sensor Analysis for Fault Detection in Tightly-Coupled Multi-Robot Team Tasks
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
Xingyan Li, Lynne E. Parker
COMPSAC
1998
IEEE
15 years 8 months ago
M-base: Enduser-Initiative Application Development Based on Message Flow and Componentware
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
Takeshi Chusho, Mitsuyoshi Matsumoto, Yuji Konishi
IADIS
2004
15 years 5 months ago
Assessment of User Rationality and Adaptivity: A Case Study
The paper presents the results of an empirical study on users' behaviors when they were asked to perform a task and its variant in a usability test. Specific focus was set on...
Effie Lai-Chong Law, Borka Jerman-Blazic