6608 search results - page 927 / 1322 » On the Completeness of Model Checking |
191
click to vote
JELIA
2004
Springer
16 years 6 days ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
196
click to vote
NMR
2004
Springer
16 years 6 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
173
click to vote
ITICSE
2003
ACM
16 years 3 days ago
2003
ACM
Changing conditions for teaching increase our motivation to understand the teaching and learning process. First time investigators of educational settings often feel uncertain abo...
194
click to vote
SIGIR
2003
ACM
16 years 3 days ago
2003
ACM
This paper describes a decentralized peer-to-peer model for building a Web crawler. Most of the current systems use a centralized client-server model, in which the crawl is done by...
184
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—The concept of groups is a natural aspect of most collaboration scenarios. Group-Centric Secure Information Sharing models (g-SIS) have been recently proposed in which users and...