3799 search results - page 57 / 760 » An Engineering Approach to Formal Methods |
IJCAI
2001
13 years 9 months ago
2001
This paper presents a new method for building domain-specific web search engines. Previous methods eliminate irrelevant documents from the pages accessed using heuristics based on...
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...
DESRIST
2009
Springer
14 years 12 days ago
2009
Springer
Against the background of the current financial crisis and an aftermath of increasing regulation, companies enhance and integrate information systems in the areas of risk manageme...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Enterprise resource planning (ERP) systems integrate companies’ multiple information systems and help adapt best practices for business processes. ERP systems are in most cases ...
SCS
2004
13 years 9 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...