Sciweavers

367 search results - page 30 / 74
» Industrial validation of COVAMOF
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
15 years 7 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
SAC
2004
ACM
15 years 7 months ago
Concatenate feature extraction for robust 3D elliptic object localization
Developing an efficient object localization system for complicated industrial objects is an important, yet difficult robotic task. To tackle this problem, we have developed a syst...
Yuichi Motai, Akio Kosaka
METRICS
2003
IEEE
15 years 7 months ago
Issues in Using Students in Empirical Studies in Software Engineering Education
Several empirical studies have been carried out with college students as subjects in the last few years. Researchers often use these studies to pilot experiments before they are c...
Jeffrey Carver, Maria Letizia Jaccheri, Sandro Mor...
EVOW
1999
Springer
15 years 6 months ago
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
ASPDAC
2007
ACM
106views Hardware» more  ASPDAC 2007»
15 years 3 months ago
Bisection Based Placement for the X Architecture
Rising interconnect delay and power consumption have motivated the investigation of alternative integrated circuit routing architectures. In particular, the X Architecture, which ...
Satoshi Ono, Sameer Tilak, Patrick H. Madden