1501 search results - page 189 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
148
click to vote
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
166
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
107
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present an automatic motherese detection system for the study of parent-infant interaction analysis. Motherese is a speech register directed towards infants and ...
151
click to vote
AIMS
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes an optimization method for the design of large scale confederation based BGP networks. We propose a graph based model and an associated metric to evaluate the r...
122
click to vote
OHS
2001
Springer
15 years 9 months ago
2001
Springer
The size of Internet has been growing very fast and many documents appear every day in the Net. Users find many problems to obtain the information that they really need. In order t...