Sciweavers

4914 search results - page 401 / 983
» Arbitration of a help system
Sort
View
PASTE
2004
ACM
16 years 8 days ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
SIGCSE
2004
ACM
112views Education» more  SIGCSE 2004»
16 years 7 days ago
Design patterns for marine biology simulation
We specify and implement a GUI application that simulates marine biological systems by making extensive use of objectoriented design patterns. The key design patterns are model-vi...
Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong
AP2PC
2004
Springer
16 years 7 days ago
On Exploiting Agent Technology in the Design of Peer-to-Peer Applications
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
Steven Willmott, Josep M. Pujol, Ulises Cort&eacut...
CASDMKM
2004
Springer
131views Data Mining» more  CASDMKM 2004»
16 years 7 days ago
XML-Based Schemes for Business Project Portfolio Selection
Abstract. Many methodologies have been introduced to deal with project portfolio selection problem including some techniques that help to evaluate individual projects, or to select...
Jichang Dong, Kin Keung Lai, Shouyang Wang
EKAW
2004
Springer
16 years 6 days ago
KATS: A Knowledge Acquisition Tool Based on Electronic Document Processing
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...
Martín Molina, Gemma Blasco