4386 search results - page 755 / 878 » A Tamper-Resistant Programming Language System |
102
click to vote
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
102
click to vote
ICTCS
2003
Springer
15 years 6 months ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
IPSN
2003
Springer
15 years 6 months ago
2003
Springer
High-level query languages are an attractive interface for sensor networks, potentially relieving application programmers from the burdens of distributed, embedded programming. In ...
109
click to vote
SPAA
2010
ACM
15 years 6 months ago
2010
ACM
Load balancing is an important consideration when running data-parallel programs. While traditional techniques trade off the cost of load imbalance with the overhead of mitigating...
105
click to vote
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...