4386 search results - page 392 / 878 » A Tamper-Resistant Programming Language System |
127
click to vote
JSS
2006
15 years 4 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
144
click to vote
ENTCS
2007
15 years 4 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
129
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
136
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
125
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...