2800 search results - page 309 / 560 » Fibrational Control Structures |
124
Voted
ISQED
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
128
Voted
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite their potential applications in software comprehension, it appears that dynamic visualisation tools are seldom used outside the research laboratory. This paper presents an...
121
Voted
HT
2003
ACM
15 years 9 months ago
2003
ACM
We have presented a system called Pocket News that transforms web contents in the internet automatically to the contents to be adapted for a mobile terminal, especially PDA. It is...
132
Voted
SI3D
2003
ACM
15 years 9 months ago
2003
ACM
Many virtual environments and games must be populated with synthetic characters to create the desired experience. These characters must move with sufficient realism, so as not to...
217
Voted
GLOBAL
2003
Springer
15 years 9 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...