Sciweavers

5946 search results - page 796 / 1190
» Visual requirement representation
Sort
View
APLAS
2006
ACM
16 years 24 days ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
SCESM
2006
ACM
239views Algorithms» more  SCESM 2006»
16 years 23 days ago
Aspect-oriented software design with a variant of UML/STD
The notion of aspect is important as a systematic approach to the representation of cross-cutting concerns and the incremental additions of new functionalities to an existing syst...
Shin Nakajima, Tetsuo Tamai
ANSS
2005
IEEE
16 years 13 days ago
The Bubble Bit Technique as Improvement of HDL-Based Quantum Circuits Simulation
When performed on a classical computer, the simulation of quantum circuits is usually an exponential job. The methodology based on Hardware Description Languages is able to isolat...
Mihai Udrescu, Lucian Prodan, Mircea Vladutiu
ARITH
2005
IEEE
16 years 13 days ago
Efficient Mapping of Addition Recurrence Algorithms in CMOS
Efficient adder design requires proper selection of a recurrence algorithm and its realization. Each of the algorithms: Weinberger’s, Ling’s and Doran’s were analyzed for it...
Bart R. Zeydel, Theo T. J. H. Kluter, Vojin G. Okl...
HICSS
2005
IEEE
132views Biometrics» more  HICSS 2005»
16 years 13 days ago
A Soft Systems Analysis of Social Cognition In Boundary-Spanning Innovation
The term social cognition is used in the psychology and organizational literatures to denote many different manifestations of the mental representations and processes that underli...
Susan Gasson