Sciweavers

2357 search results - page 160 / 472
» interfaces 2007
Sort
View
ISCAS
2007
IEEE
135views Hardware» more  ISCAS 2007»
16 years 10 days ago
Design of Mixed-Voltage Crystal Oscillator Circuit in Low-Voltage CMOS Technology
Abstract—In the nanometer-scale CMOS technology, the gateoxide thickness has been scaled down to support a higher operating speed under a lower power supply (1xVDD). However, the...
Ming-Dou Ker, Hung-Tai Liao
IV
2007
IEEE
166views Visualization» more  IV 2007»
16 years 9 days ago
Aesthetic Primitives of Images for Visualization
Images play an important role in visualization. As users are more willing to adopt a product if it evokes pleasurable feelings the aesthetic appeal of interfaces becomes more impo...
Gabriele Peters
CALCO
2007
Springer
89views Mathematics» more  CALCO 2007»
16 years 6 days ago
Structured Co-spans: An Algebra of Interaction Protocols
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
José Luiz Fiadeiro, Vincent Schmitt
CIE
2007
Springer
16 years 6 days ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
ESWS
2007
Springer
16 years 6 days ago
Dynamic Service Discovery Through Meta-interactions with Service Providers
Dynamic discovery based on semantic description of services is an essential aspect of the Semantic Web services integration process. Since not all data required for service discove...
Tomas Vitvar, Maciej Zaremba, Matthew Moran