10585 search results - page 2014 / 2117 » The Orc Programming Language |
102
click to vote
CJ
2004
15 years 11 days ago
2004
act interpretation. R. Barbuti, C. Bernardeschi and N. De Francesco With mobile technology more and more prominent, the problem of security leakages becomes more and more important...
117
click to vote
CORR
2004
Springer
15 years 11 days ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
120
click to vote
CLUSTER
2002
IEEE
15 years 10 days ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
107
click to vote
CONCURRENCY
2000
15 years 10 days ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
95
Voted
CORR
2000
Springer
15 years 10 days ago
2000
Springer
We describe a formal model for annotating linguistic artifacts, from which we derive an application programming interface (API) to a tools for manipulating these annotations. The ...