917 search results - page 52 / 184 » Structural Testing of Component-Based Systems |
191
Voted
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
166
click to vote
KBSE
2007
IEEE
16 years 6 days ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
167
click to vote
SIMUTOOLS
2008
15 years 7 months ago
2008
Embedded Peer-to-Peer Systems (EP2P) represent a new challenge in the development of software for distributed systems. The main objective of the SMEPP (Secure Middleware for Embed...
171
Voted
ICCV
2003
IEEE
16 years 7 months ago
2003
IEEE
Symmetry is an effective geometric cue to facilitate conventional segmentation techniques on images of man-made environment. Based on three fundamental principles that summarize t...
152
Voted
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...