10674 search results - page 1892 / 2135 » The Virtual Environment - Another Approach |
183
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
186
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
139
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
We consider the problem of estimating set-expression cardinality in a distributed streaming environment where rapid update streams originating at remote sites are continually tran...
171
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Relational database systems may be turned into efficient XML and XPath processors if the system is provided with a suitable relational tree encoding. This paper extends this relat...
169
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
Discovering co-expressed genes and coherent expression patterns in gene expression data is an important data analysis task in bioinformatics research and biomedical applications. ...