1032 search results - page 60 / 207 » A Survey on Industrial Software Engineering |
164
click to vote
FSTTCS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
173
click to vote
AII
1989
15 years 10 months ago
1989
This paper surveys recent results concerning the inference of deterministic finite automata (DFAs). The results discussed determine the extent to which DFAs can be feasibly inferr...
173
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
This article is a survey of developments in algorithmic convex geometry over the past decade. These include algorithms for sampling, optimization, integration, rounding and learni...
158
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
150
click to vote
CCECE
2006
IEEE
16 years 11 days ago
2006
IEEE
Services such as audio/video streaming, advertising, and software distribution can be delivered much more efficiently by Network Service Providers if multicast data distribution i...