2253 search results - page 396 / 451 » The ComFoRT Reasoning Framework |
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
This work exploits the idea that each individual brain region has a specific connection profile to create parcellations of the cortical surface using MR diffusion imaging. The par...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
The goal is to build a general framework for ad hoc applications over large networks using semantics and complex systems analysis. The first part deals with semantics because appl...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...