5314 search results - page 160 / 1063 » Hybrid Dynamic Programming |
121
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
This paper presents data from a four month ethnographic study of professional pair programmers from two software development teams. Contrary to the current conception of pair prog...
146
Voted
CIKM
2011
Springer
14 years 2 months ago
2011
Springer
With hundreds of millions of participants, social media services have become commonplace. Unlike a traditional social network service, a microblogging network like Twitter is a hy...
135
click to vote
GECCO
2007
Springer
15 years 6 months ago
2007
Springer
The multi domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are require...
123
Voted
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...