709 search results - page 26 / 142 » Type Checking in XOBE |
FMICS
2010
Springer
13 years 7 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
CAV
1998
Springer
13 years 11 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
ENTCS
2008
13 years 7 months ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
MVA
2000
13 years 7 months ago
2000
With the proliferation of different types of IC packages, there is a need for machine-vision-based inspection systems to be able to efficiently identify the orientation of IC packa...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...