715 search results - page 123 / 143 » Application of Formal Methods to the Development of a Softwa... |
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
AAAI
1997
13 years 10 months ago
1997
This case study paper reports on the development and implementation of DISXPERT, a rule-based expert system tool for referral of social security disability recipients to vocationa...
EDBT
2008
ACM
14 years 9 months ago
2008
ACM
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
ETRA
2006
ACM
14 years 2 months ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...
BMCBI
2005
13 years 8 months ago
2005
Background: Numerous microarray analysis programs have been created through the efforts of Open Source software development projects. Providing browser-based interfaces that allow...