Sciweavers

4245 search results - page 260 / 849
» Integrating Software by Integrating People
Sort
View
DATE
2005
IEEE
113views Hardware» more  DATE 2005»
16 years 7 days ago
Hardware-Software Design of a Smart Sensor for Fully-Electronic DNA Hybridization Detection
This paper describes the design of a smart sensor for label-free detection of DNA hybridization. The sensor is based on a direct electrical transduction principle: it measures imp...
Claudio Stagni, Carlotta Guiducci, Massimo Lanzoni...
ICRA
2005
IEEE
153views Robotics» more  ICRA 2005»
16 years 6 days ago
YARA: A Software Framework Enhancing Service Robot Dependability
— This paper focuses on the role of real-time operation support in mobile robot control architectures for service applications. We show that a control architecture with integrate...
Stefano Caselli, Francesco Monica, Monica Reggiani
CBSE
2005
Springer
16 years 5 days ago
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
Bert Lagaisse, Wouter Joosen
RTSS
2003
IEEE
15 years 12 months ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...
AISC
2010
Springer
15 years 11 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...