3514 search results - page 382 / 703 » Evolving Specification Engineering |
185
click to vote
ISMAR
2005
IEEE
16 years 10 days ago
2005
IEEE
Modern society requires the public to have an increased knowledge of science beyond the basics, with average people needing to understand concepts in science, technology, engineer...
164
click to vote
IWPSE
2005
IEEE
16 years 10 days ago
2005
IEEE
As systems evolve their structure change in ways not expected upfront. As time goes by, the knowledge of the developers becomes more and more critical for the process of understan...
168
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
145
click to vote
FSTTCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
217
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
The Semantic Web is a significant improvement of the original World Wide Web. It models shared meanings with ontologies, and uses these to provide many different kinds of web servi...