Sciweavers

2446 search results - page 56 / 490
» Principles of dataspace systems
Sort
View
ALIFE
2005
13 years 10 months ago
Emergence of Cooperation: State of the Art
This review presents a review of prevalent results within research pertaining to emergent cooperation in biologically inspired artificial social systems. Results reviewed maintain ...
Geoff Nitschke
HYBRID
2000
Springer
14 years 1 months ago
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
Results from classical dynamical systems are generalized to hybrid dynamical systems. The concept of limit set is introduced for hybrid systems and is used to prove new results on...
Jun Zhang, Karl Henrik Johansson, John Lygeros, Sh...
ICSE
2005
IEEE-ACM
14 years 3 months ago
Component-based software engineering for embedded systems
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
Ivica Crnkovic
HYBRID
2001
Springer
14 years 2 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
WWW
2007
ACM
14 years 11 months ago
Modeling user behavior in recommender systems based on maximum entropy
We propose a model for user purchase behavior in online stores that provide recommendation services. We model the purchase probability given recommendations for each user based on...
Tomoharu Iwata, Kazumi Saito, Takeshi Yamada