906 search results - page 46 / 182 » Modeling methodology for application development in petroleu... |
107
click to vote
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
117
Voted
ISMAR
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
116
Voted
IWANN
2009
Springer
15 years 6 months ago
2009
Springer
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...
109
Voted
FM
2005
Springer
15 years 7 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
124
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...