424 search results - page 46 / 85 » Majority Logic |
JOT
2008
14 years 11 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
INFORMATICALT
2010
14 years 10 months ago
2010
One of the major activities in software design is defining software architecture. Before designing software structure and software behavior we have to define its architecture. In...
110
click to vote
IJCBDD
2011
14 years 6 months ago
2011
: This study presents a novel network methodology to identify prognostic gene signatures. Implication networks based on prediction logic are used to construct genome-wide coexpress...
117
click to vote
SCP
2010
14 years 6 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
103
click to vote
FLAIRS
2007
15 years 2 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...