2055 search results - page 252 / 411 » Generic Model Refactorings |
113
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
135
click to vote
CLOUD
2010
ACM
15 years 7 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Information-driven networks include a large category of networking systems, where network nodes are aware of information delivered and thus can not only forward data packets but m...
108
click to vote
IJMMS
2002
15 years 1 months ago
2002
Relations between mental and physical aspects of an agent can be of various types. Sensing and acting are among the more commonly modelled types. In agent modelling approaches ofte...
140
click to vote
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....