4799 search results - page 601 / 960 » Model Based Requirements Engineering for Embedded Software |
191
click to vote
IJWET
2008
15 years 5 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...
171
click to vote
HIPEAC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
184
click to vote
ICWE
2007
Springer
16 years 27 days ago
2007
Springer
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
163
click to vote
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
155
click to vote
AVI
1998
15 years 8 months ago
1998
Our work focuses on the design of interaction techniques for large information spaces. Our goal is not to define yet another visualization technique but to provide insights for th...