16518 search results - page 392 / 3304 » A New Approach to Splitting-Off |
202
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
147
click to vote
ISPD
1997
ACM
15 years 11 months ago
1997
ACM
— In this paper, we consider the thermal placement problem for gate arrays. We introduce a new combinatorial optimization problem, matrix synthesis problem (MSP), to model the th...
194
click to vote
EUROMICRO
1996
IEEE
15 years 11 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
152
click to vote
HICSS
1996
IEEE
15 years 11 months ago
1996
IEEE
Four major Swiss banks have recently introduced a new financial electronic data interchange (FEDI) service based on UN/EDIFACT and are now trying to convince their corporate custo...
145
Voted
UIST
1996
ACM
15 years 11 months ago
1996
ACM
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...