4386 search results - page 643 / 878 » A Tamper-Resistant Programming Language System |
159
Voted
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
122
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
146
click to vote
DALT
2009
Springer
15 years 7 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
129
Voted
IC
2004
15 years 5 months ago
2004
Abstract-- Mobile Agents are a well-known programming paradigm nowadays. There is a multitude of research concerning Mobile Agent Systems with emphasize on agent coordination, agen...
125
Voted
APAL
2008
15 years 3 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....