Sciweavers

29046 search results - page 134 / 5810
» Computable Models
Sort
View
ATAL
2007
Springer
15 years 9 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
125
Voted
HYBRID
2007
Springer
15 years 9 months ago
The Image Computation Problem in Hybrid Systems Model Checking
André Platzer, Edmund M. Clarke
ICEIS
2006
IEEE
15 years 9 months ago
A Feature Computation Tree Model to Specify Requirements and Reuse
Ella E. Roubtsova, Serguei A. Roubtsov