4241 search results - page 509 / 849 » A Knowledge-Based Software Information System |
174
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Portal Catalogs is a popular means of searching for information on the Web. They provide querying and browsing capabilities on data organized in a hierarchy, on a categor...
142
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
To support commercial-strength web development it is as important to utilize a process as it is in regular, non-web information systems development. Using an established OO/CBD de...
146
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
185
click to vote
PARLE
1987
1987
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
15 years 10 months ago
Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...
179
click to vote
AAAI
2008
15 years 9 months ago
2008
Email clients were not designed to serve as a task management tools, but a high volume of task-relevant information in email leads many people to use email clients for this purpos...