9425 search results - page 247 / 1885 » Some Notes on Models and Modelling |
117
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
115
click to vote
AGI
2008
15 years 5 months ago
2008
: There are several approaches to emotions in AI, most of which are inspired by human emotional states and their arousal mechanisms. These approaches usually use high-level models ...
112
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
We investigate interpretations ψ D of formulas ψ in a first order fuzzy logic in models D which are based on Ω-sets, i.e. sets with similarity relations with values in a comp...
138
click to vote
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
BPEL (Business Process Execution Language) has become the standard for specifying and executing workflow specifications for web service composition invocation. A major weakness of ...
128
Voted
AAAI
2006
15 years 5 months ago
2006
Helping behavior in effective teams is enabled by some overlapping "shared mental models" that are developed and maintained by members of the team. In this paper, we tak...