3742 search results - page 243 / 749 » On the Use of Formal Techniques for Validation |
140
click to vote
ICDIM
2007
IEEE
16 years 27 days ago
2007
IEEE
A huge diversity of approaches is in use to deal with network security and spam in particular. In this paper, we focus on a relatively new approach whose foundations rely on the w...
153
click to vote
FMCAD
2007
Springer
16 years 22 days ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
187
click to vote
TRUSTBUS
2007
Springer
16 years 21 days ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
160
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
175
click to vote
MATES
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Cooperative problem solving without communication is an oftenstudied field within multi-agent research. Realistic problems investigated in this particular field are compl...