Sciweavers

171 search results - page 27 / 35
» Concurrent Workflow Evolution
Sort
View
JIT
2004
Springer
153views Database» more  JIT 2004»
14 years 1 months ago
Managing Product Line Variability by Patterns
Software product lines have a demonstrated potential for cost-effective development of software families. Product lines have to support and coordinate variabilities between the di...
Jürgen Meister, Ralf Reussner, Martin Rohde
VR
2003
IEEE
138views Virtual Reality» more  VR 2003»
14 years 28 days ago
Adaptive techniques for real-time haptic and visual simulation of bone dissection
Bone dissection is an important component of many surgical procedures. In this paper, we discuss adaptive techniques for providing real-time haptic and visual feedback during a vi...
Marco Agus, Andrea Giachetti, Enrico Gobbetti, Gia...
AC
2003
Springer
14 years 28 days ago
A Mathematical Semantics for Architectural Connectors
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
José Luiz Fiadeiro, Antónia Lopes, M...
BIOWIRE
2007
Springer
13 years 11 months ago
An Artificial Chemistry for Networking
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
Thomas Meyer, Lidia Yamamoto, Christian F. Tschudi...
JALC
2006
95views more  JALC 2006»
13 years 7 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie