12981 search results - page 2341 / 2597 » Model Checking (Abstract) |
139
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values....
142
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
145
click to vote
GCB
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: The production of commercial DNA microarrays is based on a light-directed chemical synthesis driven by a set of masks or micromirror arrays. Because of the natural proper...
147
Voted
GCC
2006
Springer
15 years 7 months ago
2006
Springer
Legacy program execution system, which is necessary for Grid to enable users to reuse all legacy programs without reengineering source codes, is still an open problem. We propose ...
151
click to vote
ADBIS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Set-valued attributes are convenient to model complex objects occurring in the real world. Currently available database systems support the storage of set-valued attribut...