Sciweavers

1312 search results - page 144 / 263
» Embedded contract languages
Sort
View
107
Voted
ROBOCUP
1999
Springer
103views Robotics» more  ROBOCUP 1999»
15 years 7 months ago
Heterogeneity and On-Board Control in the Small Robots League
Versatile physical and behavioral features as well as their exploitation through computation-power onboard the robot-players are feasible and necessary goals for the RoboCup small ...
Andreas Birk 0002, Holger Kenn
CARDIS
1998
Springer
161views Hardware» more  CARDIS 1998»
15 years 7 months ago
Formal Proof of Smart Card Applets Correctness
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
Jean-Louis Lanet, Antoine Requet
ICAIL
2007
ACM
15 years 7 months ago
An implementation of norm-based agent negotiation
In this paper, we develop our previous outline of a multi-agent architecture for regulated information exchange in crime investigations. Interactions about information exchange be...
Pieter Dijkstra, Henry Prakken, Kees de Vey Mestda...
ARC
2008
Springer
104views Hardware» more  ARC 2008»
15 years 5 months ago
PARO: Synthesis of Hardware Accelerators for Multi-Dimensional Dataflow-Intensive Applications
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
Frank Hannig, Holger Ruckdeschel, Hritam Dutta, J&...
ASPDAC
2005
ACM
153views Hardware» more  ASPDAC 2005»
15 years 5 months ago
Design of clocked circuits using UML
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
Zhenxin Sun, Weng-Fai Wong, Yongxin Zhu, Santhosh ...