10916 search results - page 69 / 2184 » On Constructive Connectives and Systems |
ICSE
1994
IEEE-ACM
15 years 2 months ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
102
click to vote
BCSHCI
2007
14 years 11 months ago
2007
This paper introduces UniVote, a system supporting mobile phone-based interaction with public displays. The case study carried out at Lancaster University indicates that the campu...
DAC
1998
ACM
15 years 2 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
114
click to vote
ISMVL
1993
IEEE
15 years 2 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
The synthesis of electronic circuits on system level o ers the possibility to nd better locations of the A/D interfaces and to determine parameters like clock rates and bit widths...