Sciweavers

5384 search results - page 400 / 1077
» Open Standards Requirements
Sort
View
ICSE
2009
IEEE-ACM
16 years 7 months ago
Locating need-to-translate constant strings for software internationalization
Modern software applications require internationalization to be distributed to different regions of the world. In various situations, many software applications are not internatio...
Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu S...
337
Voted
CP
2009
Springer
16 years 7 months ago
Constraints of Difference and Equality: A Complete Taxonomic Characterisation
Abstract. Many combinatorial problems encountered in practice involve constraints that require that a set of variables take distinct or equal values. The AllDifferent constraint, i...
Emmanuel Hebrard, Dániel Marx, Barry O'Sull...
STOC
2001
ACM
161views Algorithms» more  STOC 2001»
16 years 7 months ago
Quantitative solution of omega-regular games
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
Luca de Alfaro, Rupak Majumdar
SIGMOD
2008
ACM
65views Database» more  SIGMOD 2008»
16 years 7 months ago
Generating targeted queries for database testing
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
Chaitanya Mishra, Nick Koudas, Calisto Zuzarte
WWW
2010
ACM
16 years 2 months ago
HTTP database connector (HDBC): RESTful access to relational databases
Relational databases hold a vast quantity of information and making them accessible to the web is an big challenge. There is a need to make these databases accessible with as litt...
Alexandros Marinos, Erik Wilde, Jiannan Lu