Sciweavers

29046 search results - page 134 / 5810
» Computable Models
Sort
View
99
Voted
ATAL
2007
Springer
15 years 10 months ago
A computational model of human interaction and planning for heterogeneous multi-agent systems
Alexandre Pauchet, Nathalie Chaignaud, Amal El Fal...
ATAL
2007
Springer
15 years 10 months ago
Embedding Landmarks and Scenes in a Computational Model of Institutions
Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different...
Owen Cliffe, Marina De Vos, Julian A. Padget
137
Voted
HYBRID
2007
Springer
15 years 10 months ago
The Image Computation Problem in Hybrid Systems Model Checking
André Platzer, Edmund M. Clarke
ICEIS
2006
IEEE
15 years 10 months ago
A Feature Computation Tree Model to Specify Requirements and Reuse
Ella E. Roubtsova, Serguei A. Roubtsov