Sciweavers

29082 search results - page 171 / 5817
» The Time-Triggered Model of Computation
Sort
View
HASE
2007
IEEE
15 years 10 months ago
Flexible Authorization with Decentralized Access Control Model for Grid Computing
Xinwen Zhang, Qi Li, Jean-Pierre Seifert, Mingwei ...
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
131
Voted
HYBRID
2007
Springer
15 years 10 months ago
The Image Computation Problem in Hybrid Systems Model Checking
André Platzer, Edmund M. Clarke