329 search results - page 8 / 66 » Towards a Theory of Actor Computation |
FOSSACS
2003
Springer
15 years 2 months ago
2003
Springer
107
click to vote
IPPS
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
ISTA
2008
14 years 11 months ago
2008
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
DSN
2005
IEEE
15 years 3 months ago
2005
IEEE
Insider attacks are a well-known problem acknowledged as a threat as early as 1980s. The threat is attributed to legitimate users who abuse their privileges, and given their famil...
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
Leftist grammars [Motwani et al., STOC 2000] are special semi-Thue systems where symbols can only insert or erase to their left. We develop a theory of leftist grammars seen as wor...