7576 search results - page 91 / 1516 » UNIX as an Application Program |
SIAMJO
2008
14 years 11 months ago
2008
By considering the epigraphs of conjugate functions, we extend the Fenchel duality, applicable to a (possibly infinite) family of proper lower semicontinuous convex functions on a ...
WSC
1997
15 years 1 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
107
click to vote
FUIN
2002
14 years 11 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
JUCS
2010
14 years 6 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
101
click to vote
WETICE
1997
IEEE
15 years 4 months ago
1997
IEEE
: Bugs in network application program can be exploited to compromise the system on which the application is running. When running these applications in an unsafe environment such a...