5343 search results - page 326 / 1069 » Keyword programming in java |
135
Voted
COMSIS
2004
15 years 3 months ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
122
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
151
Voted
PADL
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
150
Voted
EC
2006
15 years 3 months ago
2006
We show how Genetic Programming (GP) can be used to evolve useful quantum computing artefacts of increasing sophistication and usefulness: firstly specific quantum circuits, then ...
115
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
Participation in the web of communities requires a common language, a common technological structure and development of content that is relevant and captivating. This paper report...