Sciweavers

527 search results - page 76 / 106
» Case Study: System Model of Crane and Embedded Control
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
15 years 1 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
ICMT
2010
Springer
14 years 8 months ago
Implementing Business Process Recovery Patterns through QVT Transformations
Traditionally, software maintenance takes only technical information into account to evolve legacy systems. However, business knowledge, which could help to improve the comprehensi...
Ricardo Pérez-Castillo, Ignacio Garcí...
WSC
1998
14 years 11 months ago
Using Simulation to Optimize a Horizontal Carousel Storage System
Carousel storage systems are often used to increase storage density, throughput and efficiency while reducing inventory and man-hours. The Hewlett-Packard company has developed a ...
Todd LeBaron, Michael L. Hoffman
CSREAPSC
2006
14 years 11 months ago
Design and Implementation of SONICA (Service Oriented Network Interoperability for Component Adaptation) for Multimedia Pervasiv
Abstract - Recent advances in multimedia network systems have led to the development of a new generation of applications that associate the use of various multimedia objects. The c...
Hiroshi Hayakawa, Takahiro Koita, Kenya Sato
HICSS
2007
IEEE
105views Biometrics» more  HICSS 2007»
15 years 4 months ago
A Visualization Framework for Task-Oriented Modeling Using UML
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
Christian F. J. Lange, Martijn A. M. Wijns, Michel...