Sciweavers

7080 search results - page 514 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 8 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
JAISE
2010
111views Algorithms» more  JAISE 2010»
14 years 11 months ago
The missing ones: Key ingredients towards effective ambient assisted living systems
The population of elderly people keeps increasing rapidly in the past decades, which becomes a predominant aspect of our societies. As such, solutions both efficacious and cost-eff...
Hong Sun, Vincenzo De Florio, Ning Gui, Chris Blon...
ATAL
2009
Springer
15 years 11 months ago
Using rituals to express cultural differences in synthetic characters
There is currently an ongoing demand for richer Intelligent Virtual Environments (IVEs) populated with social intelligent agents. As a result, many agent architectures are taking ...
Samuel Mascarenhas, João Dias, Nuno Afonso,...
141
Voted
ACMDIS
2000
ACM
15 years 9 months ago
A Pattern Approach to Interaction Design
To create successful interactive systems, user interface designers need to cooperate with developers and application domain experts in an interdisciplinary team. These groups, how...
Jan O. Borchers
172
Voted
GECCO
2010
Springer
170views Optimization» more  GECCO 2010»
15 years 9 months ago
Improving reliability of embedded systems through dynamic memory manager optimization using grammatical evolution
Technology scaling has offered advantages to embedded systems, such as increased performance, more available memory and reduced energy consumption. However, scaling also brings a...
José Manuel Colmenar, José L. Risco-...