12774 search results - page 308 / 2555 » A Framework for Proof Systems |
189
click to vote
FUIN
2006
15 years 6 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
188
click to vote
GPCE
2007
Springer
16 years 27 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
196
click to vote
DEXAW
2003
IEEE
16 years 1 days ago
2003
IEEE
We present the framework of a new grid architecture based on the peer-to-peer and the component paradigms. In our architecture, several peer-to-peer components are loosely coupled...
176
click to vote
IKE
2004
15 years 8 months ago
2004
Increased concern about bioterrorism and emerging diseases is driving the development of systems for early epidemic detection. These systems have different requirements than tradit...
189
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: One step in the model organism database curation process is to find, for each article, the identifier of every gene discussed in the article. We consider a relaxation ...