4799 search results - page 472 / 960 » Model Based Requirements Engineering for Embedded Software |
177
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
208
click to vote
SIGSOFT
2001
ACM
16 years 8 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
169
click to vote
AUIC
2005
IEEE
16 years 1 months ago
2005
IEEE
Ubiquitous mobile computing devices offer the opportunity to provide easy access to a rich set of information sources. Placing the display for this computing device on the user’...
240
click to vote
IUI
1997
ACM
15 years 12 months ago
1997
ACM
We claim that automatic multimedia presentation can be modeled by integrating two complementary approaches to automatic design: hierarchical planning to achieve communicative goal...
216
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
Software cache-based side channel attacks are a serious new class of threats for computers. Unlike physical side channel attacks that mostly target embedded cryptographic devices,...