1150 search results - page 57 / 230 » Specifying Information-Flow Controls |
TCAD
2008
13 years 9 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
ICNS
2008
IEEE
14 years 3 months ago
2008
IEEE
Congestion control algorithms are traditionally evaluated in contrast to ideal capacity allocations that specify instantaneous efficient fair rates for application sessions but i...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, a strategy for controlled pushing is presented for microassembly of 4.5 μm polystyrene particles on a flat glass substrate using an atomic force microscope prob...
HYBRID
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...