2757 search results - page 151 / 552 » On separating systems |
113
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
In a combined negotiation in e-commerce, the user is interested in many goods or services and consequently engages in many negotiations at the same time. The negotiations are inde...
109
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
206
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
136
click to vote
EDM
2010
15 years 6 months ago
2010
Functional magnetic resonance imaging (fMRI) data were collected while students worked with a tutoring system that taught an algebra isomorph. A cognitive model predicted the distr...
115
click to vote
SE
2010
15 years 5 months ago
2010
Abstract: Test methodologies for large embedded systems fail to reflect the test process as a whole. Instead, the test process is divided into independent test levels feaifferences...