4520 search results - page 162 / 904 » Algebraic Techniques for Timed Systems |
195
click to vote
IJIT
2004
15 years 8 months ago
2004
Corrosion causes many failures in chemical process installations. These failures generate high costs, therefore an effective corrosion monitoring system obtrudes. This paper focuse...
301
click to vote
GIS
2006
ACM
16 years 8 months ago
2006
ACM
Geography Markup Language (GML) is an XML-based language for the markup, storage, and exchange of geospatial data. It provides a rich geospatial vocabulary and allows flexible doc...
216
Voted
ACMACE
2005
ACM
16 years 19 days ago
2005
ACM
There have been a number of interactive games created for Augmented Reality (AR) environments. In this paper, interaction techniques to support Real-Time Strategy (RTS) games in A...
279
Voted
DAC
2003
ACM
16 years 9 days ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
202
click to vote
EDBT
2010
ACM
16 years 5 days ago
2010
ACM
Most modern RDBMS depend on the query processing optimizer’s cost model to choose the best execution plan for a given query. Since the physical IO (PIO) is a costly operation to...