4386 search results - page 355 / 878 » A Tamper-Resistant Programming Language System |
134
Voted
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
135
Voted
IRMA
2000
15 years 5 months ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
128
Voted
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
120
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
157
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
We propose a timed broadcasting calculus for wireless systems. The operational semantics of our calculus is given both in terms of a Reduction Semantics and in terms of a Labelled ...