7961 search results - page 450 / 1593 » Input-Output Model Programs |
146
click to vote
AICT
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper deals with the design of telecommunications services using the SIP protocol. We give an overview of SIP and an overview of the programming models CGI and Servlets toget...
179
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we present a Model for Dynamic Hyperslices which uses a particular Aspect-Oriented (AO) approach – Hyperspaces – for decomposition and reflection as a means for ...
182
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
158
click to vote
CTCS
1995
Springer
15 years 10 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
158
Voted
WSC
2007
15 years 8 months ago
2007
This paper addresses several issues of using the mathematical programming representations of discrete-event dynamic systems in perturbation analysis. In particular, linear program...