10707 search results - page 581 / 2142 » Designing executable abstractions |
191
Voted
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
215
click to vote
COMSWARE
2006
IEEE
16 years 1 months ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
225
click to vote
ASWEC
2005
IEEE
16 years 1 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
176
Voted
RTSS
2005
IEEE
16 years 1 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
195
click to vote
WADT
2004
Springer
16 years 22 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...