Sciweavers

14515 search results - page 69 / 2903
» Efficient Embedded Computing
Sort
View
ATAL
2007
Springer
14 years 4 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
DATE
2006
IEEE
107views Hardware» more  DATE 2006»
14 years 4 months ago
Disjunctive image computation for embedded software verification
Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gup...