Sciweavers

497 search results - page 53 / 100
» Overview of QAST 2008
Sort
View
FAC
2008
70views more  FAC 2008»
13 years 8 months ago
Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method
This paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study...
Tahina Ramananandro
CE
2006
123views more  CE 2006»
13 years 8 months ago
Conceptual and socio-cognitive support for collaborative learning in videoconferencing environments
Studies have shown that videoconferencing is an effective medium for facilitating communication between parties who are separated by distance, particularly when learners are engag...
Bernhard Ertl, Frank Fischer, Heinz Mandl
COMPSEC
2006
132views more  COMPSEC 2006»
13 years 8 months ago
Tightening the net: A review of current and next generation spam filtering tools
This paper provides an overview of current and potential future spam filtering approaches. We examine the problems spam introduces, what spam is and how we can measure it. The pap...
James Carpinter, Ray Hunt
DEBU
2006
85views more  DEBU 2006»
13 years 8 months ago
Generic Entity Resolution in the SERF Project
The SERF project at Stanford deals with the Entity Resolution (ER) problem, in which records determined to represent the same real-life "entities" (such as people or pro...
Omar Benjelloun, Hector Garcia-Molina, Hideki Kawa...
IJBIS
2008
99views more  IJBIS 2008»
13 years 8 months ago
Managing legal risks associated with intellectual property on the web
: Intellectual Property (IP) has taken a prominent place on the web. Today's organisations need to know the ways in which their websites can be the target of costly IP litigat...
Holger M. Kienle, Daniel M. Germán, Scott R...