3095 search results - page 74 / 619 » Ubiquitous presence systems |
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We prove a new congruence result for the π-calculus: bisimilarity is a congruence in the sub-calculus that does not include restriction nor sum, and features top-level r...
INFORMATICALT
2002
13 years 8 months ago
2002
We study the stochastic model for bioremediation in a bioreactor with ideal mixing. The dynamics of the examined system is described by stochastic differential equations. We consid...
SIGSOFT
1998
ACM
14 years 1 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
PERCOM
2009
ACM
14 years 3 months ago
2009
ACM
—Ensuring spontaneous ad hoc interoperation in decentralized ubiquitous computing environments is challenging, because of heterogeneous resources and divergent policies. Centrali...
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
In recent years Services Science has been an emerging discipline that aims to promote service innovation and increase service productivity by aligning scientific, management, and ...