6682 search results - page 1234 / 1337 » networks 2006 |
195
click to vote
ATVA
2006
Springer
15 years 9 months 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...
141
click to vote
AUSAI
2006
Springer
15 years 9 months 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...
164
click to vote
BIOADIT
2006
Springer
15 years 9 months ago
2006
Springer
Bandwidth demands of communication networks are rising permanently. Thus, the requirements to modern routers regarding packet classification are rising accordingly. Conventional al...
173
Voted
CAISE
2006
Springer
15 years 9 months 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...
146
click to vote
CAISE
2006
Springer
15 years 9 months 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...