7167 search results - page 1080 / 1434 » A Technique for Invariant Generation |
199
click to vote
SCIA
2005
Springer
16 years 1 months ago
2005
Springer
Light fields are known for their potential in generating 3D reconstructions of a scene from novel viewpoints without need for a model of the scene. Reconstruction of novel views, ...
208
click to vote
SEKE
2005
Springer
16 years 1 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
233
click to vote
UML
2005
Springer
16 years 1 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
283
click to vote
VLDB
2005
ACM
16 years 1 months ago
2005
ACM
As increasing amount of data is published in the form of XML, copyright protection of XML data is becoming an important requirement for many applications. While digital watermarki...
224
click to vote
VMCAI
2005
Springer
16 years 1 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...