2118 search results - page 215 / 424 » Execution of A Requirement Model in Software Development |
153
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
174
click to vote
TSE
1998
15 years 6 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
151
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
180
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Many DSP and image processing embedded systems have hard memory constraints which makes it difficult to find a good task assignment and scheduling which fulfill these constrain...
214
click to vote
FIRBPERF
2005
IEEE
16 years 4 days ago
2005
IEEE
Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using aut...