1913 search results - page 312 / 383 » Group Input Machine |
111
click to vote
ISOLA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
154
click to vote
POLICY
2004
Springer
15 years 8 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...
113
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
− A new type of actuator is presented where Shape Memory Alloy (SMA) wires are embedded within artificial “blood vessels.” Fluid flowing through vessels allows the SMA wires ...
115
click to vote
WECWIS
2003
IEEE
15 years 8 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
116
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Semantic Web shows us the potential infrastructure of the next generation Web. Web information will be understandable to machines in this infrastructure. Our research work1 has th...