6317 search results - page 895 / 1264 » System Support for Pervasive Applications |
164
click to vote
CIE
2007
Springer
16 years 29 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
164
click to vote
DILS
2007
Springer
16 years 28 days ago
2007
Springer
This paper focuses on the problem of bioinformatics service reconciliation in a generic and scalable manner so as to enhance interoperability in a highly evolving field. Using XML...
173
click to vote
ER
2007
Springer
16 years 28 days ago
2007
Springer
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...
196
click to vote
ER
2007
Springer
16 years 28 days ago
2007
Springer
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
151
click to vote
HPCC
2007
Springer
16 years 28 days ago
2007
Springer
This paper introduces the One-Click Grid resource, which allows any computer with a Java enabled web browser to safely provide resources to Grid without any software installation. ...