12333 search results - page 2131 / 2467 » System Level Modelling for Hardware Software Systems |
186
click to vote
IV
2007
IEEE
16 years 12 days ago
2007
IEEE
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...
148
click to vote
FSTTCS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
166
click to vote
ISORC
2006
IEEE
16 years 4 days ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
145
Voted
ISESE
2005
IEEE
15 years 11 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
155
Voted
ICFEM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...