5622 search results - page 428 / 1125 » Solving architectural modelling problems using knowledge |
210
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we consider the modeling of a selected portion of signal transduction events involved in the angiogenesis process. The detailed model of this process contains a large...
180
click to vote
RTS
2006
15 years 6 months ago
2006
The Software Communications Architecture (SCA) defined by Joint Tactical Radio Systems (JTRS) is the de facto standard middleware currently adopted by the Software Defined Radio (...
171
click to vote
CPAIOR
2009
Springer
16 years 1 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
235
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
195
click to vote
CAV
2003
Springer
16 years 2 days ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...