2042 search results - page 398 / 409 » The Design and Implementation of a Semantic Service Mediatio... |
124
click to vote
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
133
Voted
OOPSLA
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
97
Voted
CCS
2001
ACM
15 years 5 months ago
2001
ACM
Authenticating mobile computing users can require a significant amount of processing and communications resources— particularly when protocols based on public key encryption are...
109
click to vote
WWW
2006
ACM
16 years 1 months ago
2006
ACM
While much of the data on the web is unstructured in nature, there is also a significant amount of embedded structured data, such as product information on e-commerce sites or sto...
110
click to vote
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...