1451 search results - page 177 / 291 » Case Studies in Model Manipulation for Scientific Computing |
211
click to vote
BIRTHDAY
2011
Springer
14 years 6 months ago
2011
Springer
In this paper, we consider the challenge of designing a reflective middleware to integrate multiple autonomous simulation models into an integrated simulation environment (multiasi...
221
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—The distributed nature of the CSMA/CA based wireless protocols, e.g., the IEEE 802.11 distributed coordinated function (DCF), allows malicious nodes to deliberately manipulate t...
165
click to vote
ENTCS
2007
15 years 6 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
210
click to vote
FSTTCS
2009
Springer
16 years 28 days ago
2009
Springer
The paper focuses on the structure of fundamental sequences of ordinals smaller than ε0. A first result is the construction of a monadic second-order formula identifying a given ...
252
click to vote
HRI
2011
ACM
14 years 9 months ago
2011
ACM
To seamlessly integrate into the human physical and social environment, robots must display appropriate proxemic behavior—that is, follow societal norms in establishing their ph...