1328 search results - page 139 / 266 » Design Patterns for Modelling Guidelines |
SEFM
2005
IEEE
14 years 3 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
DAGSTUHL
2004
13 years 11 months ago
2004
Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
PATMOS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The emergence of data-intensive applications in mobile environments has resulted in portable electronic systems with increasingly large dynamic memories. The typical oper...
ICDT
1999
ACM
14 years 2 months ago
1999
ACM
The vast number of design options in replicated databases requires efficient analytical performance evaluations so that the considerable overhead of simulations or measurements can...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
Existing temporal pattern mining assumes that events do not have any duration. However, events in many real world applications have durations, and the relationships among these ev...