Sciweavers

3273 search results - page 215 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
ACMACE
2007
ACM
15 years 10 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 10 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
175
Voted
FLAIRS
2003
15 years 8 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
WRAC
2005
Springer
16 years 9 days 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 7 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