1537 search results - page 223 / 308 » Domain-Specific Software Component Models |
153
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
170
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
136
click to vote
WSC
2004
15 years 5 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...
126
click to vote
AICCSA
2007
IEEE
15 years 10 months ago
2007
IEEE
:- A software product spends more than 65% of its lifecycle in maintenance. Software systems with good maintainability can be easily modified to fix faults. In this paper, we adapt...
124
click to vote
SEFM
2005
IEEE
15 years 9 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...