Sciweavers

5668 search results - page 401 / 1134
» The case for software evolution
Sort
View
ICDCSW
2003
IEEE
16 years 5 days ago
Survivable Multi-Level Ad-Hoc Group Operations
In this paper we investigate the survivability of multilevel ad-hoc groups for critical operations through a case study. We aim to provide a formal trust framework for establishin...
Dan Zhou, Jie Wu
ICCS
2003
Springer
16 years 3 days ago
Invariant Manifolds and Grobman-Hartman Theorem for Equations with Degenerate Operator at the Derivative
Abstract. Analog of Grobman-Hartman theorem about stable and unstable manifolds solutions for differential equations in Banach spaces with degenerate Fredholm operator at the deri...
Bülent Karasözen, Irina Konopleva, Boris...
RTSS
1996
IEEE
15 years 11 months ago
Reducing the number of clock variables of timed automata
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
Conrado Daws, Sergio Yovine
BPM
2006
Springer
108views Business» more  BPM 2006»
15 years 10 months ago
Measuring Performance in the Retail Industry (Position Paper)
Bearing in mind the changeable and complicated needs of business environment, in this paper we examine the necessity of evolution in the traditional decision support techniques. Ou...
Gerasimos Marketos, Yannis Theodoridis
CONEXT
2008
ACM
15 years 8 months ago
Recursive temporal namespaces
Recursive temporal (RT) namespaces extend spatial namespaces such as IP with the notion of a nested time interval. RT namespace is an architectural approach to dealing with the un...
Venkata K. Pingali, Joseph D. Touch