18 search results - page 2 / 4 » Addressing the Conflicting Dimension of Groupware: A Case St... |
16
Voted
IROS
2007
IEEE
13 years 11 months ago
2007
IEEE
— One might expect that after nearly 50 years of research in robot manipulation and mobile robotics the architectural design of robot systems has converged to a small set of best...
ESE
2006
13 years 4 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
ESEM
2007
ACM
13 years 8 months ago
2007
ACM
Empirical studies are crucial to gain evidence on the effects of software engineering methods and tools in defined contexts. However, empirical studies can be costly and thus need...
QOSA
2010
Springer
13 years 6 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...