983 search results - page 187 / 197 » Circuit Complexity and Multiplicative Complexity of Boolean ... |
METRICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
SIGSOFT
2005
ACM
14 years 1 months ago
2005
ACM
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...
DRM
2005
Springer
14 years 1 months ago
2005
Springer
The domain of digital rights management (DRM) is currently lacking a generic architecture that supports interoperability and reuse of specific DRM technologies. This lack of arch...
WCRE
2003
IEEE
14 years 28 days ago
2003
IEEE
Many modern software systems are often large, distributed, written in more than one programming language, and developed using pre-built components. This paper presents the results...