565 search results - page 95 / 113 » Compositional dynamic test generation |
130
Voted
FM
2006
Springer
15 years 5 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
154
click to vote
SCP
1998
15 years 1 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
123
click to vote
CGO
2007
IEEE
15 years 8 months ago
2007
IEEE
Run-time compilation systems are challenged with the task of translating a program’s instruction stream while maintaining low overhead. While software managed code caches are ut...
112
click to vote
ROBOCUP
1999
Springer
15 years 6 months ago
1999
Springer
The underlying research topics and the architecture of the UBU team are briefly described. The aim of developing UBU is to subject a series of tools and procedures for agent decis...
109
Voted
ALIFE
2007
15 years 2 months ago
2007
: Reliably recognizing objects approaching on a collision course is extremely important. In this paper, a synthetic vision system is proposed to tackle the problem of collision rec...