Sciweavers

445 search results - page 42 / 89
» A Call Abstraction for Component Coordination
Sort
View
ESOP
2012
Springer
14 years 1 months ago
Complete Monitors for Behavioral Contracts
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias F...
IPPS
2006
IEEE
16 years 4 days ago
A hierarchical scheduling model for component-based real-time systems
In this paper, we propose a methodology for developing component-based real-time systems based on the concept of hierarchical scheduling. Recently, much work has been devoted to t...
José L. Lorente, Giuseppe Lipari, Enrico Bi...
WG
2004
Springer
15 years 11 months ago
Partitioning a Weighted Graph to Connected Subgraphs of Almost Uniform Size
Abstract. Assume that each vertex of a graph G is assigned a nonnegative integer weight and that l and u are nonnegative integers. One wish to partition G into connected components...
Takehiro Ito, Xiao Zhou, Takao Nishizeki
ACSAC
1999
IEEE
15 years 10 months ago
Tools to Support Secure Enterprise Computing
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
Myong H. Kang, Brian J. Eppinger, Judith N. Frosch...
VAMOS
2010
Springer
15 years 7 months ago
Leveraging Aspect-Connectors to Improve Stability of Product-Line Variabilities
Abstract--One of the design goals of Product Line Architectures (PLAs) is to remain stable while accommodating changes of stakeholder's requirements. However, the stability of...
Marcelo Oliveira Dias, Leonardo Tizzei, Ceí...