8446 search results - page 1293 / 1690 » A Process Compensation Language |
225
Voted
IFIP
2007
Springer
16 years 7 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...
163
click to vote
IFL
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
172
click to vote
ISSAC
2007
Springer
16 years 7 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...
154
click to vote
JSAI
2007
Springer
16 years 7 days ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
152
Voted
LADS
2007
Springer
16 years 7 days ago
2007
Springer
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...