2225 search results - page 233 / 445 » Logical Structures in the Lexicon |
152
click to vote
ISSRE
2008
IEEE
16 years 29 days ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
161
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
—The objective of self-healing in mobile robot networks is to maintain not only logical topology but also physical one of a network when robots fail. An interaction dynamics mode...
146
click to vote
FMCAD
2007
Springer
16 years 22 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
184
click to vote
ADBIS
2006
Springer
16 years 17 days ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
152
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...