4348 search results - page 422 / 870 » Using UML for Modeling Complex Real-Time Systems |
169
click to vote
FMCO
2007
Springer
16 years 1 months ago
2007
Springer
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
162
click to vote
JCP
2007
15 years 6 months ago
2007
—The article presents an approach to the development of multi-attribute decision making model that is based on DEX, an expert system shell for multi-attribute decision support. W...
196
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
174
click to vote
EMISA
2007
Springer
16 years 1 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
208
click to vote
CIVR
2010
Springer
15 years 11 months ago
2010
Springer
In this paper, we present a methodology to estimate a detailed state of a video scene involving multiple humans and vehicles. In order to annotate and retrieve videos containing a...