2685 search results - page 337 / 537 » A Formal Semantics for SPKI |
185
click to vote
MEMOCODE
2008
IEEE
16 years 29 days ago
2008
IEEE
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
196
click to vote
AGTIVE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
167
click to vote
FORMATS
2007
Springer
16 years 22 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
176
click to vote
GPCE
2007
Springer
16 years 22 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
153
click to vote
SAS
2007
Springer
16 years 21 days 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...