Sciweavers

7890 search results - page 176 / 1578
» The MathSAT 3 System
Sort
View
156
Voted
CORR
2011
Springer
188views Education» more  CORR 2011»
15 years 1 days ago
Composition of Management System for Smart Homes
—The paper addresses modular hierarchical design (composition) of a management system for smart homes. The management system consists of security subsystem (access control, alarm...
Mark Sh. Levin, Aliaksei Andrushevich, Alexander K...
ITS
1992
Springer
120views Multimedia» more  ITS 1992»
15 years 9 months ago
Distributed Learning Companion System: WEST Revisited
This paper describes a distributed learning system which consists of two connected computers so that students can learn in collaboration and/or competition at different locations. ...
Tak-Wai Chan, I-Ling Chung, Rong-Guey Ho, Wen-Juan...
HASE
2007
IEEE
15 years 9 months ago
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng
159
Voted
DARS
2000
Springer
140views Robotics» more  DARS 2000»
15 years 8 months ago
Micro Self-Reconfigurable Robotic System using Shape Memory Alloy
This paper presents micro self-reconfigurable modular robotic systems using shape memory alloy (SMA). The system is designed so that various shapes can be autonomously formed by a ...
Eiichi Yoshida, Satoshi Murata, Shigeru Kokaji, Ko...
PDPTA
2008
15 years 6 months ago
A Parallel Processing Architecture for Solving Large-Scale Linear Systems
Solving linear systems with a large number of variables is at the core of many scienti c problems. Parallel processing techniques for solving such systems have received much attent...
Arun Nagari, Itamar Elhanany, Ben Thompson, Fangxi...