Sciweavers

2278 search results - page 238 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
COMPSAC
2006
IEEE
16 years 17 days ago
A Practical Approach for Automated Test Case Generation using Statecharts
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
Valdivino A. Santiago, Ana Silvia Martins do Amara...
AINA
2007
IEEE
16 years 26 days ago
Extracting Significant Phrases from Text
Prospective readers can quickly determine whether a document is relevant to their information need if the significant phrases (or keyphrases) in this document are provided. Althou...
Yuan J. Lui, Richard Brent, Ani Calinescu
WSC
2004
15 years 7 months ago
Practical 3D Animation of Multiply Articulated Construction Equipment
This paper presents research that led to the design and implementation of practical 3D animation methods to visualize multiply-articulated construction equipment in 3D animations ...
Vineet R. Kamat, Julio C. Martínez
USS
2004
15 years 7 months ago
Static Disassembly of Obfuscated Binaries
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...
Christopher Krügel, William K. Robertson, Fre...
MM
2006
ACM
93views Multimedia» more  MM 2006»
16 years 14 days ago
A scalable service for photo annotation, sharing, and search
In this work we present the details of the implementation of Fotofiti(FF), a website that provides automatic semantic annotation of digital photographs, event management and soci...
Benjamin N. Lee, WenYen Chen, Edward Y. Chang