9051 search results - page 1575 / 1811 » On detectability of stochastic systems |
163
click to vote
CIKM
2004
Springer
16 years 10 hour ago
2004
Springer
We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...
219
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
186
click to vote
MDM
2004
Springer
15 years 12 months ago
2004
Springer
This position paper argues that the mobile agents paradigm is a useful and important technology enabling pervasive and ubiquitous computing. Context awareness drives adaptability ...
191
click to vote
SERA
2004
Springer
15 years 12 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
176
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Current developments in processing data streams are based on the best-effort principle and therefore not adequate for many application areas. When sensor data is gathered by inte...