10396 search results - page 422 / 2080 » Testing Web Applications |
253
click to vote
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
157
Voted
GI
2003
Springer
16 years 24 days ago
2003
Springer
: The increasing pressure for network accessible information and business applications demands secure, interoperable, cost efficient and user self-service authentication procedures...
152
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
We introduce a browser evaluation test (BET), and describe a trial run application of the test. BET is a method for assessing meeting browser performance using the number of obser...
159
Voted
HT
2004
ACM
16 years 1 months ago
2004
ACM
The SMIL 2.0 Language profile support several mechanisms for controlling interactivity in a SMIL 2.0 presentation. Unfortunately, the SMIL standard testset does not verify complex...
176
Voted
ITC
2003
IEEE
16 years 26 days ago
2003
IEEE
Composite microsystems that integrate mechanical and fluidic components are fast emerging as the next generation of system-on-chip designs. As these systems become widespread in s...