10159 search results - page 1742 / 2032 » System Design Validation Using Formal Models |
199
click to vote
MIDDLEWARE
2007
Springer
16 years 25 days ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
179
click to vote
EUROPAR
2005
Springer
16 years 6 days ago
2005
Springer
Today, component oriented middlewares are used to design, develop and deploy distributed applications easily. They ensure the heterogeneity, interoperability, and reuse of software...
182
click to vote
AAMAS
2007
Springer
15 years 6 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
182
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
165
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
We present a principled methodology for filtering news stories by formal measures of information novelty, and show how the techniques can be used to custom-tailor newsfeeds based ...