4998 search results - page 875 / 1000 » The case for intentional networking |
ATVA
2006
Springer
14 years 20 days ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
AUSAI
2006
Springer
14 years 20 days ago
2006
Springer
Brittleness is a well-known problem in expert systems where a conclusion can be made, which human common sense would recognise as impossible e.g. that a male is pregnant. We have e...
CAISE
2006
Springer
14 years 20 days ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
CAISE
2006
Springer
14 years 20 days ago
2006
Springer
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...
CAISE
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. As communication technologies are becoming more and more advanced, the opportunities to deliver improved, user friendly services using these technologies are increasing. ...