54 search results - page 5 / 11 » Reasoning about Gradual Changes of Topological Relationships |
JSS
2007
13 years 7 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Distributed decision making in networked systems depends critically on the timely availability of critical fresh information. Performance of networked systems, from the perspective...
ICDE
2005
IEEE
14 years 9 months ago
2005
IEEE
Moving objects databases managing spatial objects with continuously changing position and extent over time have recently found large interest in the database community. Queries ab...
CCE
2004
13 years 7 months ago
2004
The paper addresses control related design issues for neutralization plants. Mainly for control reasons, the neutralization is usually performed in several steps (mixing tanks) wi...
IEPOL
2010
13 years 6 months ago
2010
The ongoing debate about possible implementation of regulatory rules requiring “network neutrality” for wireless telecommunications services is inherently about whether to imp...