Sciweavers

3547 search results - page 457 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ICST
2008
IEEE
16 years 1 months ago
Model-Based Quality Assurance of Windows Protocol Documentation
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
189
Voted
ISORC
2008
IEEE
16 years 1 months ago
Toward Libraries for Real-Time Java
Reusable libraries are problematic for real-time software in Java. Using Java’s standard class library, for example, demands meticulous coding and testing to avoid response time...
Trevor Harmon, Martin Schoeberl, Raimund Kirner, R...
LCN
2008
IEEE
16 years 1 months ago
An experimental analysis of Zigbee networks
— Zigbee has been touted as a technology that can be embedded in a wide range of products and applications across consumer, commercial, industrial and government markets. However...
E. Dalila Pinedo-Frausto, J. Antonio García...
SEAA
2008
IEEE
16 years 1 months ago
Vimoware - A Toolkit for Mobile Web Services and Collaborative Computing
Mobile devices are considered to be very useful in adhoc and team collaborations, for example in disaster responses, where dedicated infrastructures are not available. Such collab...
Hong Linh Truong, Lukasz Juszczyk, Shariq Bashir, ...
SEFM
2008
IEEE
16 years 1 months ago
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
We present an approach to find upper bounds of heap space for Java Card applets. Our method first transforms an input bytecode stream into a control flow graph (CFG), and then ...
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truon...