3161 search results - page 415 / 633 » Documenting framework behavior |
132
click to vote
HYBRID
2005
Springer
16 years 2 days ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
154
click to vote
LCTRTS
2005
Springer
16 years 1 days ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
172
click to vote
SEKE
2005
Springer
16 years 1 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
179
click to vote
WRAC
2005
Springer
16 years 1 days ago
2005
Springer
A multiagent architecture for vehicle and structural health monitoring is proposed. A prototype using this architecture was developed using JADE. Critical aspects of the design wer...
186
click to vote
VRCAI
2004
ACM
15 years 12 months ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...