8067 search results - page 578 / 1614 » A Model Proposal of the Interoperability Problem |
219
click to vote
ACIVS
2007
Springer
16 years 1 months ago
2007
Springer
Multi-camera networks bring in potentials for a variety of vision-based applications through provisioning of rich visual information. In this paper a method of image segmentation f...
168
click to vote
PLDI
2006
ACM
16 years 28 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
187
click to vote
CAISE
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
200
click to vote
SPIN
2004
Springer
16 years 9 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
166
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...