781 search results - page 90 / 157 » Automatic Formal Model Generation and Analysis of SDL |
PAAMS
2010
Springer
14 years 15 days 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
13 years 11 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...
DOCENG
2011
ACM
12 years 7 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...
ATAL
2011
Springer
12 years 7 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...
TACAS
2012
Springer
12 years 3 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...