1073 search results - page 167 / 215 » Reasoning about Continuous Processes |
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
PDC
2004
ACM
14 years 1 months ago
2004
ACM
The aim of Participatory Design (PD) is to involve the users in the design. Even though the research has shown the success of PD projects in empowering users, little has been said...
EUROPAR
2003
Springer
14 years 25 days ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
ACSAC
2000
IEEE
14 years 1 days ago
2000
IEEE
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
HICSS
2000
IEEE
14 years 1 days ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...