1150 search results - page 88 / 230 » Specifying Information-Flow Controls |
ESEM
2007
ACM
14 years 7 days ago
2007
ACM
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...
WEBNET
2001
13 years 9 months ago
2001
: When transforming an XML document for a given purpose, specifying the desired output format allows greater control over the transformation result than is possible using XSLT, esp...
IJRR
2002
13 years 8 months ago
2002
This paper presents a novel randomized motion planner for robots that must achieve a specified goal under kinematic and/or dynamic motion constraints while avoiding collision with...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— The purpose of this paper is to discuss how Willems’ behavioral modeling might be applied to physical systems governed by the laws of quantum physics. A quantum behavior is s...
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...