Sciweavers

4166 search results - page 435 / 834
» Automating the constraining process
Sort
View
FUIN
2007
94views more  FUIN 2007»
15 years 6 months ago
Algorithm of Translation of MSC-specified System into Petri Net
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
Sergiy Kryvyy, Lyudmila Matvyeyeva
IJISTA
2007
86views more  IJISTA 2007»
15 years 6 months ago
Implementation of a framework to integrate sensors and controllers
: A system architecture is proposed for integrating sensors, controllers, actuators and instrumentation within a common framework. The goal is to provide a flexible and scalable sy...
Ryan D. Weir, Gourab Sen Gupta, Donald G. Bailey
CVGIP
2004
98views more  CVGIP 2004»
15 years 6 months ago
Topological volume skeletonization and its application to transfer function design
Topological volume skeletonization is a novel approach for automating transfer function design in visualization by extracting the topological structure of a volume dataset. The sk...
Shigeo Takahashi, Yuriko Takeshima, Issei Fujishir...
CACM
1999
132views more  CACM 1999»
15 years 5 months ago
Agents That Buy and Sell
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
Pattie Maes, Robert H. Guttman, Alexandros Moukas
ECSA
2010
Springer
15 years 4 months ago
Dynamic Adaptive Service Architecture - Towards Coordinated Service Composition
With software services becoming a strategic capability for the software sector, software architecture needs to address integration problems to help services to collaborate and coor...
Claus Pahl