1990 search results - page 175 / 398 » Integrated Human Behavior Modeling |
186
click to vote
SPLC
2008
15 years 7 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
169
click to vote
EUMAS
2006
15 years 7 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
185
click to vote
SAC
2012
ACM
14 years 1 months ago
2012
ACM
Data cloning method is a new computational tool for computing maximum likelihood estimates in complex statistical models such as mixed models. This method is synthesized with inte...
160
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
160
click to vote
HICSS
2008
IEEE
16 years 26 days ago
2008
IEEE
The proliferation of retail outlets with nearly identical product offerings and similar costs due to market efficiency means that selecting an appropriate market to open a store i...