498 search results - page 67 / 100 » On the Category of Petri Net Computations |
SENSYS
2004
ACM
14 years 1 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Online bibliographic databases, such as DBLP in computer science and PubMed in medical sciences, contain abundant information about research publications in different fields. Each...
SIGIR
2011
ACM
12 years 11 months ago
2011
ACM
Traditional recommendation algorithms often select products with the highest predicted ratings to recommend. However, earlier research in economics and marketing indicates that a ...
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
CISIS
2010
IEEE
14 years 3 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...