4386 search results - page 459 / 878 » A Tamper-Resistant Programming Language System |
132
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
193
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
162
Voted
TON
2012
13 years 7 months ago
2012
Abstract—Various low-latency anonymous communication systems such as Tor and Anonymizer have been designed to provide anonymity service for users. In order to hide the communicat...
125
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
122
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...