5064 search results - page 420 / 1013 » Recent Developments in Gridsolve |
234
click to vote
PARA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
192
click to vote
RE
2004
Springer
16 years 3 days ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
167
click to vote
SAT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
197
click to vote
SDMW
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
202
click to vote
SEMWEB
2004
Springer
16 years 3 days ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...