1375 search results - page 201 / 275 » SDL-2000: A Language with a Formal Semantics |
WWW
2003
ACM
15 years 10 months ago
2003
ACM
More and more resources are becoming available on the Web, and there is a growing need for infrastructures that, based on advertised descriptions, are able to semantically match d...
162
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
SAS
2007
Springer
15 years 3 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
DSOM
2005
Springer
15 years 3 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...