1788 search results - page 237 / 358 » Model Theory for Process Algebra |
129
click to vote
CGF
1998
15 years 3 months ago
1998
In contrast with the growth of plants and trees, human organs can undergo signi cant changes in shape through a variety of global transformations during the growth period, such as...
138
click to vote
SIAMREV
2010
14 years 10 months ago
2010
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...
145
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
124
click to vote
WSC
2001
15 years 5 months ago
2001
In models of military operations it is important to include the Command and Control (C2) process in order to achieve a realistic simulation of a military force's behaviour an...
136
click to vote
FASE
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...