Sciweavers

3273 search results - page 215 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
ACMACE
2007
ACM
15 years 8 months ago
Rhythmism: a VJ performance system with maracas based devices
WeproposeanonconventionalVJperformancesystemrhythmismwhichusesan original maraca based device that has 2 different functions, material maraca and effect maraca. Rhythmism uses the...
Satoru Tokuhisa, Yukinari Iwata, Masa Inakage
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 7 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
133
Voted
FLAIRS
2003
15 years 5 months ago
Identifying Inhabitants of an Intelligent Environment Using a Graph-Based Data Mining System
The goal of the MavHome smart home project is to build an intelligent home environment that is aware of its inhabitants and their activities. Such a home is designed to provide ma...
Ritesh Mehta, Diane J. Cook, Lawrence B. Holder
137
Voted
WRAC
2005
Springer
15 years 9 months ago
Characterizing Environmental Information for Monitoring Agents
A multiagent architecture for vehicle and structural health monitoring is proposed. A prototype using this architecture was developed using JADE. Critical aspects of the design wer...
Albert C. Esterline, Bhanu Gandluri, Mannur Sundar...
ACTA
2007
96views more  ACTA 2007»
15 years 4 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud