2902 search results - page 170 / 581 » Software Product Lines |
143
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
141
Voted
CC
2008
Springer
15 years 4 months ago
2008
Springer
We prove a version of the derandomized Direct Product lemma for deterministic space-bounded algorithms. Suppose a Boolean function g : {0, 1}n {0, 1} cannot be computed on more th...
113
Voted
WSC
2000
15 years 6 months ago
2000
A simulation model was developed and tested using Taylor II to justify the implementation of a Flexible Manufacturing Cell (FMC). The current production capacity at the existing C...
93
Voted
TIS
1998
15 years 4 months ago
1998
: Every information channel within Africa is restricted. Limited budgets cause televison stations to produce few shows of their own and to fill airtime with cheap American imports ...
139
Voted
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
We show how to efficiently evaluate generic map-filter-product queries, generalizations of select-project-join (SPJ) queries in relational algebra, based on a combination of two...