660 search results - page 100 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
144
click to vote
PVLDB
2010
15 years 23 days ago
2010
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
147
click to vote
FMSB
2008
15 years 3 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
144
click to vote
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
104
Voted
DEXAW
2000
IEEE
15 years 6 months ago
2000
IEEE
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
159
click to vote
FORTE
2011
14 years 5 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...