6800 search results - page 1206 / 1360 » Testing with Functions as Specifications |
157
click to vote
SPLC
2000
15 years 5 months ago
2000
: Framelets and implementation cases are new concepts to manage the complexity of product line development. Framelets are "small product lines" that address, as self-stan...
119
Voted
IJCAI
1989
15 years 5 months ago
1989
This paper describes a program, called NEWTON, that finds approximate symbolic solutions to parameterized equations in one variable. N E W T O N derives an initial approximation b...
155
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
137
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
MapReduce offers a flexible programming model for processing and generating large data sets on dedicated resources, where only a small fraction of such resources are every unavaila...
162
Voted
MM
2010
ACM
15 years 4 months ago
2010
ACM
The design and implementation of a search engine for lecture webcasts is described. A searchable text index is created allowing users to locate material within lecture videos foun...