3307 search results - page 445 / 662 » The meaning of concurrent programs |
163
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
213
click to vote
QEST
2006
IEEE
16 years 1 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
180
click to vote
MSE
2005
IEEE
16 years 23 days ago
2005
IEEE
This paper presents the Basic Electronic course syllabus needed to obtain the Telecommunications Engineering degree, adapted to the criteria established by the new European Higher ...
158
click to vote
AIIA
2005
Springer
16 years 22 days ago
2005
Springer
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to ...
171
click to vote
IFIP
2005
Springer
16 years 21 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...