4693 search results - page 796 / 939 » Verifying Hybrid Systems |
106
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
120
click to vote
ICECCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
88
Voted
ICEIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Enterprise modeling is a daunting task to be carried out from a single perspective. A challenge to this whole complexity is conflicting descriptions given by different actors when ...
108
Voted
ICEIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Many researchers in the software agent field use the financial domain as a test bed to develop adaptation, cooperation and learning skills of software agents. However, there are no...
106
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...