2740 search results - page 304 / 548 » Typing the Specialization Interface |
153
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes a sensor-based middleware for performance monitoring and data integration in the Grid that is capable of self-management. The middleware unifies both system ...
133
click to vote
WCRE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present an infrastructure that supports interoperability among various reverse engineering tools and applications. We include an Application Programmer’s Interf...
133
click to vote
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
CAFE (Collaborative Agents for Filtering E-mails) is a multi-agent system to collaboratively filter spam from users’ mail stream. CAFE associates a proxy agent with each user, a...
100
click to vote
GROUP
2005
ACM
15 years 10 months ago
2005
ACM
We describe results from a survey of employees at Microsoft about how they manage personal and household scheduling. We saw a much greater use of digital calendars than we expecte...
162
Voted
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...