3038 search results - page 258 / 608 » Controlling Engineering Problem Solving |
132
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to veri...
96
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
In this paper, we describe SGSDesigner, the ODESGS Environment user interface. ODESGS Environment (the realization of the ODESGS Framework [1]) is an environment for supporting bo...
103
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Grid computing allows the utilization of vast computational resources for solving complex scientific and engineering problems. However, development tools for Grid applications are...
125
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
For the development of Semantic Web technology, researchers and developers in the Semantic Web community need to focus on the areas in which human reasoning is particularly difficu...
110
click to vote
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
We consider infinitary two-player perfect information games defined over graphs of configurations of a pushdown automaton. We show how to solve such games when winning condition...