Sciweavers

440 search results - page 64 / 88
» On Some Systems Controlled by the Structure of Their Memory
Sort
View
HYBRID
2009
Springer
14 years 16 days ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
RECSYS
2010
ACM
13 years 9 months ago
Interactive recommendations in social endorsement networks
An increasing number of social networking platforms are giving users the option to endorse entities that they find appealing, such as videos, photos, or even other users. We defin...
Theodoros Lappas, Dimitrios Gunopulos
AAMAS
2007
Springer
13 years 8 months ago
A formal framework for connective stability of highly decentralized cooperative negotiations
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
Francesco Amigoni, Nicola Gatti
PPSN
1994
Springer
14 years 23 days ago
Genetic L-System Programming
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
Christian Jacob
UML
2005
Springer
14 years 2 months ago
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
José A. Cruz-Lemus, Marcela Genero, M. Espe...