| 1641921 |
Test selection criteria for real-time systems modeled as timed input-output automata
Abdeslam En-Nouaary
(pp. 279-292)
Keywords:
Computer software,
Control systems,
Tests and testing
ArticleType: Research paper
View HTML
|
View PDF
(110 KB)
| Reprints & Permissions
|
| 1641922 |
RUP extension for the development of secure systems
Carlos Eduardo de Barros Paes, Celso Massaki Hirata
(pp. 293-314)
Keywords:
Computer software,
Design and development,
Software engineering
ArticleType: Research paper
View HTML
|
View PDF
(299 KB)
| Reprints & Permissions
|
| 1641923 |
Using web search logs to identify query classification terms
Isak Taksa, Sarah Zelikovitz, Amanda Spink
(pp. 315-327)
Keywords:
Classification schemes,
Computer networks,
Information retrieval,
Man-machine systems,
User interfaces
ArticleType: Research paper
View HTML
|
View PDF
(97 KB)
| Reprints & Permissions
|
| 1641924 |
Patterns and transitions of query reformulation during web searching
Bernard J. Jansen, Mimi Zhang, Amanda Spink
(pp. 328-340)
Keywords:
Information searches,
Internet,
Pattern recognition equipment
ArticleType: Research paper
View HTML
|
View PDF
(81 KB)
| Reprints & Permissions
|
| 1641925 |
A security framework for agent-based systems
Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban
(pp. 341-362)
Keywords:
Communication,
Data security,
Open systems,
Trust
ArticleType: Research paper
View HTML
|
View PDF
(236 KB)
| Reprints & Permissions
|
| 1641926 |
Web accessibility in information systems
Mohammad Eyadat, Dorothy Fisher
(pp. 363-377)
Keywords:
Curriculum development,
Information systems,
Internet,
User interfaces
ArticleType: Research paper
View HTML
|
View PDF
(88 KB)
| Reprints & Permissions
|
| 1641927 |
World's first web census
Darcy Benoit, André Trudel
(pp. 378-389)
Keywords:
Data handling,
Internet,
Worldwide web
ArticleType: Research paper
View HTML
|
View PDF
(97 KB)
| Reprints & Permissions
|