3573 search results - page 525 / 715 » Reasoning about Codata |
124
Voted
WICSA
2008
15 years 5 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
140
Voted
WOTUG
2008
15 years 5 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
126
Voted
AAAI
2004
15 years 5 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
100
Voted
AAAI
2006
15 years 5 months ago
2006
We present a model for buying agents in e-marketplaces to interpret evaluations of sellers provided by other buying agents, known as advisors. The interpretation of seller evaluat...
128
Voted
AIML
2006
15 years 5 months ago
2006
We propose a framework for comparing the expressive power and computational behaviour of modal logics designed for reasoning about qualitative aspects of metric spaces. Within this...