8828 search results - page 282 / 1766 » Formal methods in practice |
194
click to vote
TII
2010
15 years 1 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 ...
161
click to vote
USAB
2007
15 years 7 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...
168
click to vote
ICML
2003
IEEE
16 years 7 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
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
The paper elaborates on the theoretical foundation of Information System understood as a field of design science. Revisiting Hevner’s et al. seminal paper [44], we elaborate on ...
180
click to vote
IJMMS
2007
15 years 6 months ago
2007
We have designed and built a mobile emotional messaging system named eMoto. With it, users can compose messages through using emotion-related gestures as input, rendering a backgr...