505 search results - page 90 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
146
click to vote
KDD
2009
ACM
16 years 6 months ago
2009
ACM
Research in relational data mining has two major directions: finding global models of a relational database and the discovery of local relational patterns within a database. While...
162
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
148
click to vote
HASE
2008
IEEE
16 years 6 hour ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
145
click to vote
ODBIS
2007
Springer
15 years 11 months ago
2007
Springer
There is a growing need to define a semantic mapping from a database schema to an ontology. Such a mapping is an integral part of the data integration systems that use an ontology...
167
click to vote
VRST
2006
ACM
15 years 11 months ago
2006
ACM
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...