1763 search results - page 225 / 353 » A Formalization of Polytime Functions |
OTM
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
TLDI
2003
ACM
15 years 3 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
SEMWEB
2009
Springer
15 years 2 months ago
2009
Springer
This paper describes how to generate compositions of semantic Web services using social trust information from user ratings of the services. We present a taxonomy of features, suc...
TIC
1998
Springer
15 years 2 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
104
click to vote
LATA
2010
Springer
15 years 2 months ago
2010
Springer
Automated reasoning about systems with infinite domains requires an extension of regular automata to infinite alphabets. Existing formalisms of such automata cope with the infinite...