8828 search results - page 379 / 1766 » Formal methods in practice |
197
click to vote
LOGCOM
1998
15 years 6 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
188
click to vote
IJPP
2010
15 years 5 months ago
2010
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...
176
click to vote
VIROLOGY
2010
15 years 5 months ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
231
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
-- Published work in the IT services area is generally centered on the description of management best practices or specific technological issues. There is a lack of empirical studi...
188
click to vote
WABI
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we introduce a new method of combined synthesis and inference of biological signal transduction networks. A main idea of our method lies in representing observed cau...