4386 search results - page 353 / 878 » A Tamper-Resistant Programming Language System |
100
Voted
ENTCS
2008
15 years 3 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
152
Voted
PADL
2012
Springer
13 years 11 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
151
Voted
JPDC
2000
15 years 3 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...
162
Voted
CLIMA
2004
15 years 5 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
128
Voted
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...