Sciweavers

3011 search results - page 283 / 603
» Generating XML Based Specifications of Information Systems
Sort
View
ICSE
2004
IEEE-ACM
16 years 3 months ago
Elaborating Security Requirements by Construction of Intentional Anti-Models
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
Axel van Lamsweerde
113
Voted
ICCAD
1997
IEEE
97views Hardware» more  ICCAD 1997»
15 years 7 months ago
Low power logic synthesis for XOR based circuits
An abundance of research e orts in low power logic synthesis have so far been focused on and or or nand nor based logic. A typical approach is to rst generate an initial multi-lev...
Unni Narayanan, C. L. Liu
147
Voted
ICRA
2005
IEEE
108views Robotics» more  ICRA 2005»
15 years 9 months ago
Motion Emergency of Humanoid Robots by an Attractor Design of a Nonlinear Dynamics
— The human motions are generated through the interaction between the body and its environments. The information processing system defines the current motion using the signal fe...
Masafumi Okada, Kenta Osato, Yoshihiko Nakamura
119
Voted
ECIS
2011
14 years 3 months ago
Improving residential energy consumption at large using persuasive systems
The paper presents a persuasive web application that stimulates residential energy conservation. The users of the application received consumption feedback that is based on electr...
Tobias Graml, Claire-Michelle Loock, Michael Baeri...
KES
2008
Springer
15 years 3 months ago
Reinforcing fuzzy rule-based diagnosis of turbomachines with case-based reasoning
This paper presents an integrated knowledge-based system, which combines fuzzy rule-based reasoning with case-based reasoning, for turbomachinery diagnosis. By incorporating a case...
Meijun Yang, Qiang Shen