1268 search results - page 73 / 254 » One Logic to Use Them All |
WIA
2000
Springer
14 years 1 months ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
VLDB
2004
ACM
14 years 3 months ago
2004
ACM
Given two geographic databases, a fusion algorithm should produce all pairs of corresponding objects (i.e., objects that represent the same real-world entity). Four fusion algorit...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
A growing trend in the development and deployment of grid computing systems is decentralization. Decentralizing these systems helps make them more scalable and robust, but poses s...
JOT
2007
13 years 10 months ago
2007
All modern software development processes try to help project teams conduct their work. While there are some important differences between them, the commonalities are far greater ...
CHI
2005
ACM
13 years 12 months ago
2005
ACM
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...