Sciweavers

13591 search results - page 73 / 2719
» On the Implementation of Dynamic Evaluation
Sort
View
WWW
2004
ACM
16 years 7 months ago
Implementing a proxy agent based writable web for a dynamic information sharing system
In this paper, we propose a Web based information sharing system called the Proxy Agent-based Information Sharing (PAIS). We also developed a writable Web mechanism called Web bro...
Noriharu Tashiro, Hiromitsu Hattori, Takayuki Ito,...
172
Voted
EMSOFT
2010
Springer
15 years 4 months ago
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fi...
ICFEM
2004
Springer
16 years 3 days ago
Implementing Dynamic Aggregations of Abstract Machines in the B Method
Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...