1286 search results - page 250 / 258 » A Framework for Prototyping and Reasoning about Distributed ... |
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
BMCBI
2010
13 years 7 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
IJMMS
1998
13 years 7 months ago
1998
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...
ICMCS
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper presents a distributed broadband multimedia information service that is realised within the project EPRICOM that is supported by the European Union within the ACTS prog...