4799 search results - page 471 / 960 » Model Based Requirements Engineering for Embedded Software |
216
click to vote
IJIT
2004
15 years 9 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
201
click to vote
MIDDLEWARE
2005
Springer
16 years 1 months ago
2005
Springer
The vision of pervasive or ubiquitous computing, conceived by Mark Weiser, foresees a world where computing is embedded in every day objects. Such objects interact with each other...
216
click to vote
RTAS
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper we propose a dynamic constraint transformation technique for ensuring timing requirements in a distributed real-time system possessing periodically synchronized dist...
174
click to vote
CGO
2009
IEEE
16 years 2 months ago
2009
IEEE
—Register allocation is an important component of every compiler and numerous studies have investigated ways to improve allocation quality or reduce allocation time. However, tec...
202
click to vote
WCRE
2008
IEEE
16 years 2 months ago
2008
IEEE
Source code coupling and change history are two important data sources for change coupling analysis. The popularity of public open source projects in recent years makes both sourc...