15840 search results - page 2883 / 3168 » The Control of Synchronous Systems |
180
Voted
LOPSTR
2004
Springer
16 years 1 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
212
click to vote
MATA
2004
Springer
16 years 1 days ago
2004
Springer
Applications for mobile devices have some restrictions because of the limited capabilities and heterogeneity of these devices. However, their communication capabilities allow the d...
195
click to vote
MMAS
2004
Springer
16 years 1 days ago
2004
Springer
Interactive multi-agent system improves reusability of agents by separating application design from agent design. However, it remains difficult for application designers (usually n...
200
click to vote
NOSSDAV
2004
Springer
16 years 1 days ago
2004
Springer
Retransmission can be used for loss recovery in continuous media applications but the number of retransmission attempts is bounded by the size of the playout buffer. For efficient...
155
click to vote
PACS
2004
Springer
16 years 1 days ago
2004
Springer
Management of power in data centers is driven by the need to not exceed circuit capacity. The methods employed in the oversight of these power circuits are typically static and ad...