50 search results - page 2 / 10 » Safe compositional specification of networking systems |
150
Voted
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
135
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, enables users to generate complex strong specific systems. Current prominent MANET-based composi...
115
Voted
TPPP
1994
15 years 7 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
121
Voted
AAAI
2008
15 years 6 months ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
143
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...