7124 search results - page 366 / 1425 » Programming Languages and Operating Systems |
164
click to vote
ICFP
1996
ACM
15 years 11 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
196
click to vote
SAINT
2006
IEEE
16 years 24 days ago
2006
IEEE
This research has enhanced a distributed, rule-based application integration environment with a composite event definition language (CEDL) and detection system. CEDL builds on exi...
199
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
152
click to vote
EUROMICRO
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
177
click to vote
ECOOP
2004
Springer
16 years 6 days ago
2004
Springer
The expression problem (aka the extensibility problem) refers to a fundamental dilemma of programming: Can your application be structured in such a way that both the data model and...