171 search results - page 20 / 35 » Efficient algorithms for interface timing verification |
112
click to vote
ADBIS
2007
Springer
15 years 8 months ago
2007
Springer
Contemporary information systems are replete with log files, created in multiple places (e.g., network servers, database management systems, user monitoring applications, system se...
208
Voted
GIS
2006
ACM
16 years 2 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...
113
click to vote
HT
2009
ACM
14 years 11 months ago
2009
ACM
The online games market has matured in recent years. It is now a multi-billion dollar business with hundreds of millions players worldwide. At the same time, social networking pla...
118
click to vote
INFOVIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Time series are an important type of data with applications in virtually every aspect of the real world. Often a large number of time series have to be monitored and analyzed in p...
151
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...