5777 search results - page 182 / 1156 » The palladio component model |
170
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. When model checking a software component, a model of the environment in which that component is supposed to run is constructed. One of the major threats to the validity o...
170
click to vote
ACL
2012
13 years 9 months ago
2012
We demonstrate a web-based environment for development and testing of different pedestrian route instruction-giving systems. The environment contains a City Model, a TTS interface...
194
click to vote
ICNC
2005
Springer
16 years 18 days ago
2005
Springer
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...
185
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
155
Voted
DLT
2003
15 years 8 months ago
2003
We study the random variable Yn representing the number of occurrences of a given symbol in a word of length n generated at random. The stochastic model we assume is a simple non-e...