411 search results - page 55 / 83 » Automating the Dependency Pair Method |
EWCBR
2008
Springer
14 years 14 days ago
2008
Springer
Abstract. Effective encoding of information is one of the keys to qualitative problem solving. Our aim is to explore Knowledge representation techniques that capture meaningful wor...
CASCON
1996
14 years 17 hour ago
1996
Organizations have become increasingly dependent on computing systems to achieve their business goals. The performance of these systems in terms of response times and cost has a m...
GIS
2008
ACM
13 years 11 months ago
2008
ACM
In this paper we study in-network query processing in disconnected mobile environments, where both ad-hoc communication and infrastructure communication are available. Depending o...
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
ENTCS
2007
13 years 10 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...