5451 search results - page 158 / 1091 » Typed Operational Semantics |
170
click to vote
SIGCOMM
1994
ACM
15 years 10 months ago
1994
ACM
Applications communicating over connectionless networks, such as IP, cannot obtain per-connection Quality of Service (QoS) guarantees. In contrast, the connection-oriented nature ...
168
click to vote
ENVSOFT
2007
15 years 6 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
183
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
153
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
158
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...