3161 search results - page 210 / 633 » Documenting framework behavior |
158
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— The possibility of controlling humanoid robots in free-space opens new fields of application involving freefloating behaviors. Recently, we presented a prioritized taskorient...
155
click to vote
ACSD
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
219
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
215
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose a novel framework of autonomic intrusion detection that fulfills online and adaptive intrusion detection in unlabeled audit data streams. The framework owns a...
146
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...