4386 search results - page 61 / 878 » A Tamper-Resistant Programming Language System |
113
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
109
click to vote
CONSTRAINTS
2008
15 years 1 months ago
2008
We describe an approach to modeling biological networks by action languages via answer set programming. To this end, we propose an action language for modeling biological networks...
118
click to vote
CSFW
1998
IEEE
15 years 5 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
110
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
118
click to vote
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...