1297 search results - page 66 / 260 » Control of systems integrating logic, dynamics, and constrai... |
112
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
102
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
153
click to vote
TELETRAFFIC
2007
Springer
15 years 7 months ago
2007
Springer
Broadband satellite-based IP networks have been considered as the technology to enable a strong and promising next-generation market. In satellite communication systems, the channe...
113
click to vote
GLOBECOM
2009
IEEE
15 years 8 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...
126
click to vote
ANSS
2000
IEEE
15 years 5 months ago
2000
IEEE
We present, in this paper, an algorithm which integrates flow control and dynamic load balancing in Time Warp. The algorithm is intended for use in a distributed memory environme...