4340 search results - page 187 / 868 » Formal Methods and Cryptography |
167
click to vote
ISEMANTICS
2010
15 years 2 months ago
2010
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
154
click to vote
TII
2010
14 years 11 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
129
click to vote
USAB
2007
15 years 5 months ago
2007
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...
134
Voted
ICML
2003
IEEE
16 years 5 months ago
2003
IEEE
We analyze the formal grounding behind Negative Correlation (NC) Learning, an ensemble learning technique developed in the evolutionary computation literature. We show that by rem...
158
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...