450 search results - page 23 / 90 » Formal Methods for Industrial Products |
FBT
1997
13 years 9 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this research project, an integration of multi-agent technology and optimization techniques is suggested for the combined production and transport planning problem in a transpo...
RE
2002
Springer
13 years 7 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
ENTCS
2006
13 years 7 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
IGARSS
2010
13 years 4 months ago
2010
The ESA project GlobSnow develops products and services for snow extent and snow water equivalent. The time series of Snow Extent (SE) products will cover the whole seasonally sno...