Sciweavers

2796 search results - page 239 / 560
» A time structure based software reliability model
Sort
View
175
Voted
CL
2008
Springer
15 years 4 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
LISA
1993
15 years 5 months ago
Forecasting Disk Resource Requirements for a Usenet Server
Three years ago the Stanford Linear Accelerator Center (SLAC) decided to embrace netnews as a site-wide, multi-platform communications tool for the laboratory’s diverse user com...
Karl L. Swartz
MODELS
2007
Springer
15 years 10 months ago
Finding the Pattern You Need: The Design Pattern Intent Ontology
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
Holger Kampffmeyer, Steffen Zschaler
ISPE
2003
15 years 5 months ago
Enterprise modelling and the UML: (sometimes) a conflict without a case
: Nowadays, the UML language is one of the most widely accepted software modelling language. Enterprise modelling is concerned with the externalisation of knowledge about the en...
G. Berio, M. Petit
ISSRE
2010
IEEE
15 years 3 months ago
Characterizing Failures in Mobile OSes: A Case Study with Android and Symbian
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
Amiya Kumar Maji, Kangli Hao, Salmin Sultana, Saur...