462 search results - page 28 / 93 » Applying UML and MDA to Real Systems Design |
102
click to vote
ICCSA
2009
Springer
15 years 7 months ago
2009
Springer
Recently, ubiquitous location-based services (u-LBS) has been utilized in a variety of practical and mission-critical applications such as security services, personalization servic...
119
Voted
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
109
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
158
click to vote
ECRTS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
117
Voted
CSEE
1999
Springer
15 years 4 months ago
1999
Springer
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...