1255 search results - page 122 / 251 » A Proof Environment for the Development of Group Communicati... |
PUC
2006
13 years 9 months ago
2006
The characteristics of mobile environments, with the possibility of frequent disconnections and fluctuating bandwidth, have forced a rethink of traditional middleware. In particula...
ICSM
2000
IEEE
14 years 1 months ago
2000
IEEE
Software evolution in a cooperative environment, where a pool of maintainers/developers contribute to the overall system changes, is challanging due to several factors, such as th...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Significant effort has been invested in developing expressive and flexible access-control languages and systems. However, little has been done to evaluate these systems in practic...
ENTER
2006
Springer
14 years 21 days ago
2006
Springer
Recent developments in museum visitors' guides focus on context awareness, personalization and multimodal and multimedia information presentation to individuals and groups of...
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...