2858 search results - page 490 / 572 » Logics with Aggregate Operators |
166
click to vote
KBSE
2009
IEEE
16 years 28 days ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
157
click to vote
IPPS
2009
IEEE
16 years 25 days ago
2009
IEEE
To address the problem of performing long time simulations of biochemical pathways under in vivo cellular conditions, we have developed a lattice-based, reaction-diffusion model t...
187
click to vote
XSYM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
154
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
165
click to vote
ICARIS
2009
Springer
16 years 23 days ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...