1888 search results - page 226 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
147
click to vote
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
239
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
So far the optimization of integration processes between heterogeneous data sources is still an open challenge. A first step towards sufficient techniques was the specification of ...
142
click to vote
WACV
2007
IEEE
15 years 10 months ago
2007
IEEE
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
162
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
202
click to vote
MC
2001
15 years 5 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...