6174 search results - page 856 / 1235 » The language of social software |
189
click to vote
IFM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
168
click to vote
OOPSLA
2004
Springer
16 years 4 days ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
218
click to vote
SAMOS
2004
Springer
16 years 4 days ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
173
click to vote
VL
2003
IEEE
16 years 2 days ago
2003
IEEE
An idea of automatic generation of Web applications from templates has been proposed [1, 2, 3, 4]. A software system called T-Web system has been implemented based on the idea to ...
188
click to vote
DOCENG
2003
ACM
16 years 1 days ago
2003
ACM
We introduce a lazy XSLT interpreter that provides random access to the transformation result. This allows efficient pipelining of transformation sequences. Nodes of the result tr...