Sciweavers

771 search results - page 51 / 155
» Modelling and Analysing Socio-Technical Systems
Sort
View
ICPP
2009
IEEE
15 years 5 months ago
Load Balance in the Phylogenetic Likelihood Kernel
—Recent advances in DNA sequencing techniques have led to an unprecedented accumulation and availability of molecular sequence data that needs to be analyzed. This data explosion...
Alexandros Stamatakis, Michael Ott
AOSE
2004
Springer
15 years 4 months ago
A Formal Approach to Design and Reuse Agent and Multiagent Models
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...
Vincent Hilaire, Olivier Simonin, Abder Koukam, Ja...
89
Voted
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 3 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
ECAL
2003
Springer
15 years 4 months ago
When Can We Call a System Self-Organizing?
Abstract. We do not attempt to provide yet another definition of selforganization, but explore the conditions under which we can model a system as self-organizing. These involve th...
Carlos Gershenson, Francis Heylighen
103
Voted
FLAIRS
2003
15 years 6 days ago
Toward Empathetic Agents in Tutoring Systems
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
Jessica Faivre, Roger Nkambou, Claude Frasson