781 search results - page 90 / 157 » Automatic Formal Model Generation and Analysis of SDL |
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
In aiming for behavioral fidelity, artificial intelligence cannot and no longer ignores the formalization of human affect. Affect modeling plays a vital role in faithfully simulati...
HYBRID
2009
Springer
15 years 3 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
135
click to vote
DOCENG
2011
ACM
13 years 11 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
107
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
132
click to vote
TACAS
2012
Springer
13 years 7 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...