1990 search results - page 255 / 398 » Integrated Human Behavior Modeling |
120
Voted
FASE
2003
Springer
15 years 8 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
115
Voted
ECRTS
2000
IEEE
15 years 7 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
125
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We propose a concept that combines the cognitive with the computational approaches to experience-based trust reasoning. We emphasize that a cognitive component is vital for computa...
95
Voted
ANOR
2005
15 years 2 months ago
2005
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...
111
Voted
TCAD
2008
15 years 2 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...