Sciweavers

1580 search results - page 112 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
USS
2008
15 years 8 months ago
Administrative and Public Verifiability: Can We Have Both?
Administrative verifiability gives election officials the means to protect against certain kinds of errors and fraud. This is typically accomplished with tools like paper audit tr...
Josh Benaloh
SPLC
2010
15 years 8 months ago
An Approach for Developing Component-Based Groupware Product Lines Using the Groupware Workbench
Groupware are computer-based systems designed to support groups of people working together providing a shared environment. Given that developing this kind of application is not a t...
Bruno Gadelha, Elder Cirilo, Marco Aurélio ...
LREC
2008
117views Education» more  LREC 2008»
15 years 7 months ago
A Suite to Compile and Analyze an LSP Corpus
This paper presents a series of tools for the extraction of specialized corpora from the web and its subsequent analysis mainly with statistical techniques. It is an integrated sy...
Rogelio Nazar, Jorge Vivaldi, Teresa Cabré
DAGSTUHL
2006
15 years 7 months ago
Context Dependent Analysis of BioAmbients
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie...
ECIS
2001
15 years 7 months ago
Electronic Procurement in Government: More Complicated than Just Good Business
Electronic procurement has been widely embraced by governments seeking the administrative efficiencies and cost reductions experienced in the private sector. The enthusiastic resp...
Darryl Coulthard, Tanya Castleman