Sciweavers

3724 search results - page 600 / 745
» Timed regular expressions
Sort
View
78
Voted
EGOV
2009
Springer
15 years 4 months ago
Post Recommendation in Social Web Site
Abstract. Web 2.0 applications attract more and more people to express their opinions on the Web in various ways. However, the explosively increasing information in social web site...
Long Wang 0002, Justus Bross, Christoph Meinel
71
Voted
ESAW
2009
Springer
15 years 4 months ago
Engineering Social Reality with Inheritance Relations
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...
Huib Aldewereld, Sergio Álvarez-Napagao, Fr...
MIDDLEWARE
2009
Springer
15 years 4 months ago
Rhizoma: A Runtime for Self-deploying, Self-managing Overlays
Abstract. The trend towards cloud and utility computing infrastructures raises challenges not only for application development, but also for management: diverse resources, changing...
Qin Yin, Adrian Schüpbach, Justin Cappos, And...
SPIN
2009
Springer
15 years 4 months ago
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thom...
DMSN
2009
ACM
15 years 4 months ago
Validated cost models for sensor network queries
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...
Christian Y. A. Brenninkmeijer, Ixent Galpin, Alva...