436 search results - page 2 / 88 » Temporal Preprocessor: Towards Temporal Applications Develop... |
ICWS
2007
IEEE
13 years 6 months ago
2007
IEEE
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether ...
VISUALIZATION
2003
IEEE
13 years 10 months ago
2003
IEEE
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
PPSWR
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
ISSTA
2004
ACM
13 years 10 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
CSCW
2010
ACM
13 years 2 months ago
2010
ACM
This paper addresses the collaborative development of information infrastructure for supporting data-rich scientific collaboration. Studying infrastructure development empirically ...