2133 search results - page 275 / 427 » Implementation of a SystemC based Environment |
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
SIGMOD
1997
ACM
14 years 2 months ago
1997
ACM
The goal of the InfoSleuth project at MCC is to exploit and synthesize new technologies into a uni ed system that retrieves and processes information in an ever-changing network o...
ICDE
1999
IEEE
14 years 11 months ago
1999
IEEE
Many emerging environments are increasingly facing the problem where the requirements of applications easily outstrip the system resources. This is particularly acute in the World...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...
WWW
2004
ACM
14 years 11 months ago
2004
ACM
A scalable approach to trust negotiation is required in Web service environments that have large and dynamic requester populations. We introduce Trust-Serv, a model-driven trust n...