2748 search results - page 357 / 550 » Generating Object-Z Specifications from Use Cases |
108
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...
132
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we analyze indeterminate contact forces in robotic grasping and contact tasks. Previous studies by Omata and Nagata showed that there is a constraint on static f...
138
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes a genetic algorithm (GA) with random immigrants for dynamic optimization problems where the worst individual and its neighbours are replaced every generation. I...
133
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper evaluates the effectiveness of keypoint methods for content-based protection of digital images. These methods identify a set of “distinctive” regions (termed keypoi...
121
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
† We present empirical evidence that metrics on communication artifacts generated by groupware tools can be used to gain significant insight into the development process that pro...