2492 search results - page 417 / 499 » An Integrated Rule Modeling Framework |
108
click to vote
JNSM
2010
14 years 6 months ago
2010
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
196
click to vote
CADE
2011
Springer
13 years 12 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
119
click to vote
ECIR
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
SIGSOFT
2004
ACM
16 years 18 days ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
111
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
We apply the multi-agent system (MAS) platform to the task of biological network simulation. In this paper, we describe the simulation of signal transduction (ST) networks using t...