11397 search results - page 1972 / 2280 » A Relational Abstraction for Functions |
207
Voted
QOSA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...
175
click to vote
ACSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...
209
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
It is not uncommon for modern systems to be composed of a variety of interacting services, running across multiple machines in such a way that most developers do not really unders...
211
Voted
DAGSTUHL
2007
15 years 9 months ago
2007
In this extended abstract I describe some norm typolgies developed within sociololgy and social philosophy. Using these typologies we can determine the bounderies of the different...
234
click to vote
EFDBS
2003
15 years 9 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...