1077 search results - page 101 / 216 » Management of Evolving Specifications using Category Theory |
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
CAD
2000
Springer
13 years 9 months ago
2000
Springer
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
PVLDB
2010
13 years 7 months ago
2010
Users who are unfamiliar with database query languages can search XML data sets using keyword queries. Previous work has shown that current XML keyword search methods, although in...
MM
2004
ACM
14 years 2 months ago
2004
ACM
We consider the problem of clustering Web image search results. Generally, the image search results returned by an image search engine contain multiple topics. Organizing the resu...
CIKM
2005
Springer
14 years 2 months ago
2005
Springer
Can we use social networks to combat spam? This paper investigates the feasibility of MailRank, a new email ranking and classification scheme exploiting the social communication ...