2514 search results - page 433 / 503 » The use of industrial-strength formal methods |
164
click to vote
AI
2007
Springer
16 years 14 days ago
2007
Springer
The judgment that whether an email is spam or non-spam may vary from person to person. Different individuals can have totally different responses to the same email based on their p...
147
click to vote
ATAL
2007
Springer
16 years 14 days ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
155
click to vote
CAV
2007
Springer
16 years 13 days ago
2007
Springer
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
163
click to vote
CONCUR
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
117
click to vote
ESWS
2007
Springer
16 years 13 days ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...