20126 search results - page 3500 / 4026 » Timed Transition Systems |
193
click to vote
ADAEUROPE
2005
Springer
16 years 23 days ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
223
click to vote
AISADM
2005
Springer
16 years 23 days ago
2005
Springer
Advances in agent technologies have fueled interest towards combining agent-based techniques with tools from data mining. Furthermore, the advent of the ubiquitous computing paradi...
186
click to vote
APN
2005
Springer
16 years 23 days ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
199
click to vote
APWEB
2005
Springer
16 years 23 days ago
2005
Springer
This paper presents a new method for visualizing and navigating huge graphs. The main feature of this method is that it applies Level-Of-Detail (LOD) strategy to graph visualizati...
212
click to vote
ATAL
2005
Springer
16 years 23 days ago
2005
Springer
Overlay topology plays an important role in P2P systems. Topology serves as a basis for achieving functions such as routing, searching and information dissemination, and it has a m...