Sciweavers

22114 search results - page 250 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
SIGGRAPH
1991
ACM
15 years 10 months ago
Sculpting: an interactive volumetric modeling technique
We present a new interactive modeling technique based on the notion of sculpting a solid material. A sculpting tool is controlled by a 3D input device and the material is represen...
Tinsley A. Galyean, John F. Hughes
MR
2007
173views Robotics» more  MR 2007»
15 years 6 months ago
A maintenance planning and business case development model for the application of prognostics and health management (PHM) to ele
- This paper presents a model that enables the optimal interpretation of Prognostics and Health Management (PHM) results for electronic systems. In this context, optimal interpreta...
Peter A. Sandborn, Chris Wilkinson
MIDDLEWARE
2001
Springer
15 years 11 months ago
The CORBA Activity Service Framework for Supporting Extended Transactions
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
Iain Houston, Mark C. Little, Ian Robinson, Santos...
ACMICEC
2008
ACM
243views ECommerce» more  ACMICEC 2008»
15 years 9 months ago
Quality aspects in service ecosystems: areas for exploitation and exploration
Service Science, Management, and Engineering (SSME) is a research area with significant relevance to research and practice. Networked systems of web services are a field of servic...
Christoph Riedl, Tilo Böhmann, Michael Rosema...