917 search results - page 52 / 184 » Structural Testing of Component-Based Systems |
141
click to vote
ICST
2010
IEEE
14 years 12 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...
120
click to vote
KBSE
2007
IEEE
15 years 8 months 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...
113
click to vote
SIMUTOOLS
2008
15 years 3 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...
130
click to vote
ICCV
2003
IEEE
16 years 3 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...
107
click to vote
SIGSOFT
1994
ACM
15 years 6 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...