1158 search results - page 109 / 232 » Software is discrete mathematics |
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
IEEEIAS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
RE
2005
Springer
15 years 3 months ago
2005
Springer
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
LCPC
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We describe Fastpath, a system for speculative parallelization of sequential programs on conventional multicore processors. Our system distinguishes between the lead thre...