12774 search results - page 295 / 2555 » A Framework for Proof Systems |
155
click to vote
SEUS
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a framework that supports user-friendly configuration of a new location sensor system and its automatic integration with a location manager. The framework abstracts out...
188
click to vote
ACTA
2005
15 years 6 months ago
2005
A general framework for typing graph rewriting systems is presented: the idea is to statically derive a type graph from a given graph. In contrast to the original graph, the type g...
179
click to vote
ICAC
2006
IEEE
16 years 23 days ago
2006
IEEE
— The need for self-healing software to respond with a reactive, proactive or preventative action as a result of changes in its environment has added the non-functional requireme...
170
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
175
click to vote
ERSA
2008
15 years 8 months ago
2008
Partial reconfiguration (PR) reveals many opportunities for integration into FPGA design for potential system optimizations such as reduced area, increased performance, and increa...