23119 search results - page 323 / 4624 » From Domain to Requirements |
203
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
162
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
178
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We propose to add geographic location information into BGP routing updates to enable Geographically Informed Inter-Domain Routing (GIRO). GIRO departs from previous geo...
197
click to vote
SOFSEM
2007
Springer
16 years 28 days ago
2007
Springer
In this work we assume that there is an agent in an unknown environment (domain). This agent has some predefined actions and it can perceive its current state in the environment c...
200
click to vote
ICAC
2006
IEEE
16 years 26 days ago
2006
IEEE
A shared distributed infrastructure is formed by federating computation resources from multiple domains. Such shared infrastructures are increasing in popularity and are providing...