1709 search results - page 143 / 342 » Precise Modeling of Design Patterns |
90
Voted
SEFM
2005
IEEE
15 years 6 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...
98
Voted
DAGSTUHL
2004
15 years 2 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
15 years 4 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...
102
Voted
ICDT
1999
ACM
15 years 5 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...
188
Voted
SIGMOD
2008
ACM
16 years 29 days 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...