4350 search results - page 509 / 870 » Case studies for contract-based systems |
200
click to vote
AAAI
1994
15 years 9 months ago
1994
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...
204
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
211
click to vote
TLDI
2010
ACM
16 years 4 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
188
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Building highly optimized embedded systems demands hardware/software (HW/SW) co-design. A key challenge in co-design is the design of HW/SW interfaces, which is often a ...
194
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Planning a complex software modification task imposes a high cognitive burden on developers, who must juggle navigating the software, understanding what they see with respect t...