hardware | Sciweavers

36

PTS
2008

87views Hardware» more PTS 2008»

Test Construction for Mathematical Functions

14 years 1 months ago

The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...

Victor V. Kuliamin

claim paper

Read More »

54

click to vote

PTS
2008

152views Hardware» more PTS 2008»

Model-Based Testing Service on the Web

14 years 1 months ago

Download www.cs.tut.fi

Abstract. Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in indu...

Antti Jääskeläinen, Mika Katara, An...

claim paper

Read More »

34

click to vote

PTS
2008

109views Hardware» more PTS 2008»

Runtime Verification of C Programs

14 years 1 months ago

Download www.havelund.com

We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...

Klaus Havelund

claim paper

Read More »

36

click to vote

MASCOTS
2007

134views Modeling And Simulation» more MASCOTS 2007»

PerfCenter: A Methodology and Tool for Performance Analysis of Application Hosting Centers

14 years 1 months ago

Download www.cse.iitb.ac.in

— We present a tool, PerfCenter, that takes as input the deployment, conﬁguration, message ﬂow and workload details of the hardware and software servers in an application hos...

Rukma Prabhu Verlekar, Varsha Apte, Prakhar Goyal,...

claim paper

Read More »

32

click to vote

PTS
2008

80views Hardware» more PTS 2008»

Generating Checking Sequences for Partial Reduced Finite State Machines

14 years 1 months ago

Download www.crim.ca

The problem of generating checking sequences for FSMs with distinguishing sequence has been attracting interest of researchers for several decades. In this paper, a solution is pro...

Adenilso da Silva Simão, Alexandre Petrenko

claim paper

Read More »

24

click to vote

FIC
2008

53views Hardware» more FIC 2008»

Enrichissement d'ontologies : maintenance de la consistance et évaluation de la qualité

14 years 1 months ago

Download dafoe4app.fr

Rim Djedidi, Marie-Aude Aufaure

claim paper

Read More »

13

click to vote

EV
2008

58views Hardware» more EV 2008»

The E-Voting Readiness Index

14 years 1 months ago

Download www.e-voting.cc

Robert Krimmer, Ronald Schuster

claim paper

Read More »

15

click to vote

EV
2008

62views Hardware» more EV 2008»

A Methodology for Assessing Procedural Security: A Case Study in E-Voting

14 years 1 months ago

Download www.e-voting.cc

Komminist Weldemariam, Adolfo Villafiorita

claim paper

Read More »

15

click to vote

EV
2008

80views Hardware» more EV 2008»

CAPTCHA-based Code Voting

14 years 1 months ago

Download www.e-voting.cc

Rolf Oppliger, Jörg Schwenk, Christoph Lö...

claim paper

Read More »

35

click to vote

EV
2008

86views Hardware» more EV 2008»

Long-term Retention in E-Voting - Legal Requirements and Technical Implementation

14 years 1 months ago

Download www.cdc.informatik.tu-darmstadt.de

: Legally binding elections require retention of specified election data such as balloting material. This applies to paper-based as well as electronic elections. However, in German...

Rotraud Gitter, Lucie Langer, Susanne Okunick, Zoi...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers