Sciweavers

4666 search results - page 726 / 934
» Equations on Timed Languages
Sort
View
GEOINFO
2004
15 years 5 months ago
Spatio-Temporal Database Constraints for Spatial Dynamic Simulation
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
Bianca Maria Pedrosa, Luiz Camolesi Jr., Gilberto ...
ACE
2003
89views Education» more  ACE 2003»
15 years 5 months ago
The Neglected Battle Fields of Syntax Errors
Syntax error correction is an essential part of the debugging process. Yet there has been little research investigating how programmers approach syntax error correction and how to...
Sarah K. Kummerfeld, Judy Kay
IIWAS
2004
15 years 5 months ago
ReFFlow: A Model and Generic Approach to Flexibility of Web Service Compositions
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
Dimka Karastoyanova, Alejandro P. Buchmann
CASCON
1996
96views Education» more  CASCON 1996»
15 years 5 months ago
Real-time complexity metric tools for visualAge smalltalk and C++
"Anything that one cannot measure cannot be controlled." Software metrics provide insight into the quality of software, informing the developers about the status of a pr...
Subroto Bhattacharya, Stephen G. Graham
TREC
2007
15 years 5 months ago
Lymba's PowerAnswer 4 in TREC 2007
This paper reports on Lymba Corporation’s (a spinoff of Language Computer Corporation) participation in the TREC 2007 Question Answering track. An overview of the PowerAnswer 4 ...
Dan I. Moldovan, Christine Clark, Moldovan Bowden