3169 search results - page 586 / 634 » A General Framework for Large Scale Systems Development |
PPDP
2009
Springer
15 years 6 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
DAGSTUHL
2007
15 years 1 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...
101
click to vote
ATAL
2010
Springer
15 years 17 hour ago
2010
Springer
This paper concerns the problem of agent trust in an electronic market place. We maintain that agent trust involves making decisions under uncertainty and therefore the phenomenon...
128
click to vote
CODES
2005
IEEE
15 years 5 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
DAGM
1999
Springer
15 years 4 months ago
1999
Springer
Both, the number and the size of spatial databases, such as geographic or medical databases, are rapidly growing because of the large amount of data obtained from satellite images,...