7124 search results - page 1106 / 1425 » Programming Languages and Operating Systems |
126
click to vote
PACT
2005
Springer
15 years 10 months ago
2005
Springer
The paper is dedicated to an open T-system (OpenTS) — a programming system that supports automatic parallelization of computations for high-performance and distributed applicatio...
136
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
170
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
155
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
169
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Collaborative work environments for scientific knowledge have many applications in research as well as in education. Such systems already exist (e.g. Wikipedia and PlanetMath), b...