4386 search results - page 403 / 878 » A Tamper-Resistant Programming Language System |
241
Voted
ESOP
2004
Springer
15 years 9 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
141
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
142
click to vote
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
134
click to vote
ECOOP
1994
Springer
15 years 8 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
120
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Focusing on examples of knowledge systems and machine learning, this paper illustrates the transfer of AI technology from science to real-world applications. Decades of AI researc...