2173 search results - page 342 / 435 » The Evolution of the DARWIN System |
ICSM
2000
IEEE
14 years 2 months ago
2000
IEEE
Source code investigation is one of the most time consuming activities during software maintenance and evolution, yet currently available tool support suffers from several shortco...
IPPS
1998
IEEE
14 years 2 months ago
1998
IEEE
Abstract. High speed networks are now providing incredible performances. Software evolution is slow and the old protocol stacks are no longer adequate for these kind of communicati...
B
1998
Springer
14 years 2 months ago
1998
Springer
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
ICRE
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
INFOCOM
1994
IEEE
14 years 2 months ago
1994
IEEE
In this paper, we introduce a deterministic fluid model and two stochastic traffic models for wireless networks. The setting is a highway with multiple entrances and exits. Vehicl...