4211 search results - page 723 / 843 » Types as Abstract Interpretations |
133
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
118
Voted
RTA
2010
Springer
15 years 8 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
144
click to vote
FOCI
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- The dual notions of discernibility and indiscernibility play an important role in intelligent data analysis. While discernibility focuses on the differences, the indisce...
129
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- The emerging high-rate wireless personal area network (WPAN) technology is capable of supporting high-speed and high-quality real-time multimedia applications. In partic...
165
click to vote
ER
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...