Sciweavers

3804 search results - page 49 / 761
» From Here to There
Sort
View
FAC
2008
80views more  FAC 2008»
15 years 27 days ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
102
Voted
IJON
2007
81views more  IJON 2007»
15 years 22 days ago
Statistical analysis of spatially embedded networks: From grid to random node positions
Many conceptual studies of local cortical networks assume completely random wiring. For spatially extended networks, however, such random graph models are inadequate. The geometry...
Nicole Voges, Ad Aertsen, Stefan Rotter
80
Voted
JCT
2007
78views more  JCT 2007»
15 years 22 days ago
Semisymmetric graphs from polytopes
Every finite, self-dual, regular (or chiral) 4-polytope of type {3, q, 3} has a trivalent 3-transitive (or 2-transitive) medial layer graph. Here, by dropping self-duality, we ob...
Barry Monson, Tomaz Pisanski, Egon Schulte, Asia I...
101
Voted
JSS
2002
128views more  JSS 2002»
15 years 15 days ago
The cost of errors in software development: evidence from industry
The search for and correction of errors in software are often time consuming and expensive components of the total cost of software development. The current research investigates ...
J. Christopher Westland
121
Voted
ECAI
2010
Springer
14 years 11 months ago
From bursty patterns to bursty facts: The effectiveness of temporal text mining for news
Many document collections are by nature dynamic, evolving as the topics or events they describe change. The goal of temporal text mining is to discover bursty patterns and to ident...
Ilija Subasic, Bettina Berendt