Sciweavers

530 search results - page 62 / 106
» Case Study of a Functional Genomics Application
Sort
View
151
Voted
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 7 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
120
Voted
ICSM
2002
IEEE
15 years 5 months ago
From Legacy to Web through Interaction Modeling
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
Eleni Stroulia, Mohammad El-Ramly, Paul G. Sorenso...
110
Voted
IWANN
2009
Springer
15 years 5 months ago
A Soft Computing System to Perform Face Milling Operations
In this paper we present a soft computing system developed to optimize the face milling operation under High Speed conditions in the manufacture of steel components like molds with...
Raquel Redondo, Pedro Santos, Andrés Bustil...
117
Voted
WWW
2004
ACM
16 years 1 months ago
Conceptual Modelling versus Semantic Web: the two sides of the same coin?
A Web Application must have a precise semantics. In currently Web Engineering environments, this can be achieved either by specifying a Web Conceptual Schema, or by using a Semant...
Oscar Pastor, Joan Fons, Victoria Torres, Vicente ...
85
Voted
GRID
2005
Springer
15 years 6 months ago
Grid-level computing needs pervasive debugging
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
Rashid Mehmood, Jon Crowcroft, Steven Hand, Steven...