1269 search results - page 129 / 254 » Course on System Design (structural approach) |
121
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
136
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
WOLD (Wizard fOr Leveraging the Development of multi-platform user interfaces) helps designers to produce running user interfaces to data bases of information systems simultaneous...
169
click to vote
AVI
2010
15 years 1 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...
139
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
or Abstraction for the Functional Verification of FPGAs Guy Dupenloup, Thierry Lemeunier, Roland Mayr Altera Corporation 101 Innovation Drive San Jose, CA 95134 1-408-544-8672 {gdu...
130
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
In this paper, we describe the notion of a semantic information portal. This is a community information portal that exploits the semantic web standards to improve structure, exten...