Sciweavers

1660 search results - page 190 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
ICSE
2004
IEEE-ACM
15 years 10 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 4 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...
66
Voted
ICRA
2007
IEEE
151views Robotics» more  ICRA 2007»
15 years 4 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 2 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
14 years 11 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