1890 search results - page 123 / 378 » A component model for building systems software |
125
click to vote
TPHOL
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
92
Voted
ESSOS
2009
Springer
15 years 7 months ago
2009
Springer
In the search for metrics that can predict the presence of vulnerabilities early in the software life cycle, there may be some benefit to choosing metrics from the non-security rea...
101
Voted
WSC
1994
15 years 2 months ago
1994
ABSTRACT This paper provides beginning and intermediate simulation practitioners and interested simulation consumers with a grounding in how discrete-event simulation software work...
111
click to vote
BMCBI
2010
15 years 24 days ago
2010
Background: The increasing availability and diversity of omics data in the post-genomic era offers new perspectives in most areas of biomedical research. Graph-based biological ne...
123
click to vote
EDBTW
2010
Springer
15 years 4 months ago
2010
Springer
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...