Sciweavers

991 search results - page 134 / 199
» Foundations for Designing Secure Architectures
Sort
View
MODELS
2007
Springer
15 years 4 months ago
Modeling Time(s)
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
Charles André, Frédéric Malle...
INFOSCALE
2006
ACM
15 years 4 months ago
A library of constructive skeletons for sequential style of parallel programming
Abstract— With the increasing popularity of parallel programming environments such as PC clusters, more and more sequential programmers, with little knowledge about parallel arch...
Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Z...
ATAL
2005
Springer
15 years 3 months ago
Generating intentions through argumentation
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...
EUROMICRO
2003
IEEE
15 years 3 months ago
A General Model for Component-Based Software Reliability
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...
Mao Xiaoguang, Deng Yongjin
COSIT
2001
Springer
128views GIS» more  COSIT 2001»
15 years 2 months ago
True Grid
The Renaissance architect, moral philosopher, cryptographer, mathematician, Papal adviser, painter, city planner and land surveyor Leon Battista Alberti provided the theoretical fo...
Barry Smith