959 search results - page 180 / 192 » Transfers between Logics and their Applications |
118
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
135
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
125
click to vote
KDD
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
129
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
134
click to vote
HT
1987
ACM
15 years 5 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...