9425 search results - page 399 / 1885 » Some Notes on Models and Modelling |
161
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
149
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
118
click to vote
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
The architectural design of distributed enterprise applications from the viewpoints of different stakeholders has been proposed for some time, for example, as part of RM-ODP and I...
140
click to vote
ISIPTA
2003
IEEE
15 years 10 months ago
2003
IEEE
We discuss two approaches for choosing a strategy in a two-player game. We suppose that the game is played a large number of rounds, which allows the players to use observations o...
162
click to vote
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...