4386 search results - page 508 / 878 » A Tamper-Resistant Programming Language System |
146
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
132
Voted
WSC
2004
15 years 6 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
143
click to vote
ROOM
2000
15 years 6 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
138
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
149
Voted
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Scripting languages enjoy great popularity due their support for rapid and exploratory development. They typically have lightweight syntax, weak data privacy, dynamic typing, powe...