Sciweavers

4716 search results - page 611 / 944
» Iterative-free program analysis
Sort
View
ICSE
2012
IEEE-ACM
13 years 8 months ago
Synthesizing API usage examples
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
Raymond P. L. Buse, Westley Weimer
ICPR
2006
IEEE
16 years 7 months ago
An Efficient Radical-Based Algorithm for Stroke-Order-Free Online Kanji Character Recognition
This paper investigates improvements of an online handwriting stroke-order analysis algorithm -- cube search, based on cube graph stroke-order generation model and dynamic program...
Hiroaki Sakoe, Seiichi Uchida, Wenjie Cai
149
Voted
ER
2009
Springer
79views Database» more  ER 2009»
16 years 1 months ago
Modeling Domain Variability in Requirements Engineering with Contexts
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
Alexei Lapouchnian, John Mylopoulos
IFIP
2009
Springer
16 years 1 months ago
Static Detection of Logic Flaws in Service-Oriented Applications
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
Chiara Bodei, Linda Brodo, Roberto Bruni
ICDE
2008
IEEE
161views Database» more  ICDE 2008»
16 years 27 days ago
On the semantics and evaluation of top-k queries in probabilistic databases
We formulate three intuitive semantic properties for topk queries in probabilistic databases, and propose GlobalTopk query semantics which satisfies all of them. We provide a dyn...
Xi Zhang, Jan Chomicki