3161 search results - page 415 / 633 » Documenting framework behavior |
140
click to vote
HYBRID
2005
Springer
16 years 16 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...
168
click to vote
LCTRTS
2005
Springer
16 years 15 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...
184
click to vote
SEKE
2005
Springer
16 years 14 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...
189
click to vote
WRAC
2005
Springer
16 years 14 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...
196
click to vote
VRCAI
2004
ACM
16 years 13 days 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...