Sciweavers

1757 search results - page 255 / 352
» Alternating Refinement Relations
Sort
View
INFOCOM
1997
IEEE
15 years 7 months ago
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
114
Voted
EVOW
2007
Springer
15 years 7 months ago
Evaluating Evolutionary Algorithms and Differential Evolution for the Online Optimization of Fermentation Processes
Abstract. Although important contributions have been made in recent years within the field of bioprocess model development and validation, in many cases the utility of even relativ...
Miguel Rocha, José P. Pinto, Isabel Rocha, ...
115
Voted
FASE
2009
Springer
15 years 7 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
CCGRID
2004
IEEE
15 years 7 months ago
Learning Grid technologies in a project-based computer architecture course
This paper describes the integration of the grid topic within a Computer Architecture engineering course. Students are engaged in a project of design and evaluation of computing s...
Guillermo Vega-Gorgojo, Yannis A. Dimitriadis, Edu...
CIKM
2006
Springer
15 years 7 months ago
Incremental hierarchical clustering of text documents
Incremental hierarchical text document clustering algorithms are important in organizing documents generated from streaming on-line sources, such as, Newswire and Blogs. However, ...
Nachiketa Sahoo, Jamie Callan, Ramayya Krishnan, G...