717 search results - page 131 / 144 » Modeling and Analysis of Software Aging Process |
ICFEM
2003
Springer
14 years 26 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
RTSS
1992
IEEE
13 years 11 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...
DIAGRAMS
2010
Springer
13 years 9 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
TSE
2002
13 years 7 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...