7430 search results - page 1077 / 1486 » Programming Applications in CIFF |
183
click to vote
ECWEB
2003
Springer
16 years 20 hour ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...
216
click to vote
FM
2003
Springer
16 years 16 hour ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
169
click to vote
FMCO
2003
Springer
16 years 16 hour ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
153
click to vote
FPL
2003
Springer
16 years 16 hour ago
2003
Springer
Abstract. A smart transducer network hosts various nodes with different functionality. Our approach offers the possibility to design different smart transducer nodes as a system...
166
click to vote
FPL
2003
Springer
16 years 16 hour ago
2003
Springer
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...