519 search results - page 49 / 104 » Granular Problem Solving and Software Engineering |
136
Voted
B
2007
Springer
15 years 8 months ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
110
Voted
ICESS
2007
Springer
15 years 8 months ago
2007
Springer
Conventional mission-critical systems cannot prevent mission failure in dynamic battlefield environments in which the execution situations or missions change abruptly. To solve th...
112
Voted
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
133
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Fault Tree Analysis (FTA) is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional FTA does not consider transitio...
87
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper, we propose a file naming scheme, called HK (Hierarchical-Keyword-based) naming. In file systems, hierarchical naming has been used for these several decades. As t...