1536 search results - page 144 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
WEBI
2009
Springer
15 years 4 months ago
2009
Springer
The World Wide Web (WWW) has provided us with a plethora of information. However, given its unstructured format, this information is useful mainly to humans and cannot be effectiv...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
KDD
2012
ACM
13 years 12 days ago
2012
ACM
Personalization is a ubiquitous phenomenon in our daily online experience. While such technology is critical for helping us combat the overload of information we face, in many cas...
ENTCS
2008
14 years 10 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
ISIM
2007
14 years 11 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...