Sciweavers

2714 search results - page 164 / 543
» On the Notion of Value Object
Sort
View
SIS
2004
15 years 7 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...
ACS
2007
15 years 6 months ago
Yoneda Structures from 2-toposes
A 2-categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling ...
Mark Weber
CORR
2006
Springer
117views Education» more  CORR 2006»
15 years 6 months ago
A comparison between two logical formalisms for rewriting
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
Miguel Palomino
DCG
2007
86views more  DCG 2007»
15 years 6 months ago
Ball-Polyhedra
We study two notions. One is that of spindle convexity. A set of circumradius not greater than one is spindle convex if, for any pair of its points, it contains every short circula...
Károly Bezdek, Zsolt Langi, Márton N...
DCG
2000
79views more  DCG 2000»
15 years 6 months ago
Mutation Polynomials and Oriented Matroids
Several polynomials are of use in various enumeration problems concerning objects in oriented matroids. Chief among these is the Radon catalog. We continue to study these, as well ...
J. Lawrence