1342 search results - page 99 / 269 » Ordered Programs as Abductive Systems |
160
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Proper management of coastal wells is important in order to satisfy demand, minimize costs, control salinity increase, and ultimately to define water resource strategies which are...
166
click to vote
CONCUR
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
183
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
194
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
— Program code size is a critical factor in determining the manufacturing cost of many embedded systems, particularly those aimed at the extremely costconscious consumer market. ...
145
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...