10908 search results - page 1861 / 2182 » Requirements Engineering Tasks |
174
Voted
QUESTA
1998
15 years 6 months ago
1998
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
160
click to vote
SPE
1998
15 years 6 months ago
1998
We are investigating a novel user interface paradigm based on zooming, in which users are presented with a zooming view of a huge planar information surface. We have developed a s...
168
click to vote
TOPLAS
2002
15 years 6 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
175
Voted
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
201
click to vote
ECEASST
2008
15 years 6 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...