1622 search results - page 169 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
130
Voted
TELETRAFFIC
2007
Springer
15 years 8 months ago
2007
Springer
Many Internet applications employ multi-tier software architectures. The performance of such multi-tier Internet applications is typically measured by the end-toend response times...
108
Voted
GG
2004
Springer
15 years 8 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
79
Voted
ACSAC
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
135
Voted
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
114
Voted
CPE
2003
Springer
15 years 7 months ago
2003
Springer
We describe the main features of SmArT, a software package providing a seamless environment for the logic and probabilistic analysis of complex systems. SmArT can combine differen...