11436 search results - page 472 / 2288 » Modeling Real Reasoning |
165
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
164
click to vote
JLP
2011
15 years 1 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
147
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
157
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The SUPER project presents a novel approach to BPM by using Semantic Web and Semantic Web Services. Existing processes can be augmented with semantic annotations, so that formal re...
156
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...