519 search results - page 49 / 104 » Granular Problem Solving and Software Engineering |
108
click to vote
B
2007
Springer
15 years 6 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...
ICESS
2007
Springer
15 years 6 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...
COMPSAC
2006
IEEE
15 years 5 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...
112
click to vote
QSIC
2005
IEEE
15 years 5 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...
COMPSAC
2002
IEEE
15 years 4 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...