6279 search results - page 191 / 1256 » Objects as session-typed processes |
209
click to vote
APAQS
2001
IEEE
15 years 10 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
189
click to vote
UML
1997
Springer
15 years 10 months ago
1997
Springer
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
161
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
Scalable Vector Graphics (SVG) has an imaging model similar to that of PostScript and PDF but the XML basis of SVG allows it to participate fully, via namespaces, in generalised X...
166
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
There is an approach of annotation extraction from printed documents in which annotations are extracted by comparing the image of an annotated document and its original document i...
141
click to vote
CDES
2006
15 years 8 months ago
2006
Still one of the main problems in computing security is the scope malicious intruders can gain by introducing their own thread of control. To make this worse, coarse grained struc...