4454 search results - page 430 / 891 » Designing components for e-services |
204
click to vote
IEAAIE
2000
Springer
15 years 11 months ago
2000
Springer
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...
219
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
196
click to vote
IWSAPF
2000
15 years 11 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
210
click to vote
UIST
1995
ACM
15 years 11 months ago
1995
ACM
Morphic is a user interface construction environment that strives to embody directness and liveness. Directness means a user interface designer can initiate the process of examini...
216
Voted
CAV
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...