5722 search results - page 945 / 1145 » Dynamic inference control |
146
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
Semantic peer to peer (P2P) systems are fully decentralized overlay networks of people or machines (called peers) sharing and searching varied resources (documents, videos, photos...
121
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
An active XML (AXML) document contains tags representing calls to Web services. Therefore, retrieving its contents consists in materializing its data elements by invoking the embe...
107
click to vote
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
138
click to vote
ICCAD
2004
IEEE
16 years 22 days ago
2004
IEEE
New embedded systems offer rich power management features in the form of multiple operational and non-operational power modes. While they offer mechanisms for better energy effic...
109
click to vote
PEPM
2009
ACM
16 years 22 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...