5064 search results - page 265 / 1013 » Recent Developments in Gridsolve |
160
click to vote
VLDB
2005
ACM
15 years 12 months ago
2005
ACM
Most recent schema matching systems assemble multiple components, each employing a particular matching technique. The domain user must then tune the system: select the right compo...
177
click to vote
ECWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
184
click to vote
PRICAI
2004
Springer
15 years 12 months ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
174
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
213
click to vote
ICDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...