6740 search results - page 679 / 1348 » Using Classification as a Programming Language |
167
Voted
CPHYSICS
2006
15 years 6 months ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
157
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
168
Voted
MPC
1995
Springer
15 years 10 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
182
click to vote
ACE
2004
15 years 8 months ago
2004
The Unified Modelling Language (UML) is a diagrammatic notation widely used in the computing industry and often taught in universities as a way to represent software requirements ...
168
click to vote
PEPM
2007
ACM
16 years 24 days ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...