Sciweavers

742 search results - page 108 / 149
» Set-based Concurrent Engineering
Sort
View
CBSE
2006
Springer
15 years 1 months ago
Virtualization of Service Gateways in Multi-provider Environments
Abstract. Today we see more and more services being brought to connected homes, such as entertainment or home automation. These services are published and operated by a variety of ...
Yvan Royon, Stéphane Frénot, Frederi...
EMSOFT
2004
Springer
15 years 1 months ago
Separation of concerns: overhead in modeling and efficient simulation techniques
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
Guang Yang 0004, Alberto L. Sangiovanni-Vincentell...
EMSOFT
2006
Springer
15 years 1 months ago
Efficient distributed deadlock avoidance with liveness guarantees
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
César Sánchez, Henny B. Sipma, Zohar...
ICSE
2000
IEEE-ACM
15 years 1 months ago
Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems
Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as co...
Gary E. Anderson, T. C. Nicholas Graham, Timothy N...
ICSE
1995
IEEE-ACM
15 years 1 months ago
A Component- and Message-Based Architectural Style for GUI Software
-- While a large fraction of application code is devoted to graphical user interface (GUI) functions, support for reuse in this domain has largely been confined to the creation of...
Richard N. Taylor, Nenad Medvidovic, Kenneth M. An...