3828 search results - page 330 / 766 » Proof-Based System Engineering Using a Virtual System Model |
168
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The requirements for secure document workflows in enterprises become increasingly sophisticated, with employees performing different tasks under different roles using the same pro...
174
click to vote
ICSM
2006
IEEE
16 years 21 days ago
2006
IEEE
The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We...
196
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...
161
click to vote
WOSS
2004
ACM
16 years 2 days ago
2004
ACM
Traditionally, software models are associated with development and maintenance related activities. This paper demonstrates that models also serve a vital purpose in supporting the...
152
click to vote
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...