Sciweavers

1051 search results - page 23 / 211
» Toward Team-Oriented Programming
Sort
View
LPNMR
2004
Springer
15 years 11 months ago
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative
Paul Borchert, Christian Anger, Torsten Schaub, Mi...
SAS
2004
Springer
134views Formal Methods» more  SAS 2004»
15 years 11 months ago
Towards Declarative Programming for Web Services
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Sheila A. McIlraith