Sciweavers

132 search results - page 15 / 27
» Information embedding meets distributed control
Sort
View
FM
1997
Springer
258views Formal Methods» more  FM 1997»
14 years 3 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
RTAS
2005
IEEE
14 years 4 months ago
Optimal Time-Variant Resource Allocation for Internet Servers with Delay
The increasing popularity of high-volume performancecritical Internet applications calls for a scalable server design that allows meeting individual response-time guarantees. Cons...
Xiliang Zhong, Cheng-Zhong Xu, Minghua Xu, Jianbin...
AINA
2009
IEEE
14 years 4 months ago
Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks
Nowadays more and more devices of daily life are connected to each other and are integrated into massively distributed networks of embedded devices. These devices range from consu...
Christian Buckl, Stephan Sommer, Andreas Scholz, A...
SACMAT
2009
ACM
14 years 5 months ago
Ensuring spatio-temporal access control for real-world applications
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anas...
HICSS
2000
IEEE
179views Biometrics» more  HICSS 2000»
14 years 2 months ago
A Novel User Interface for Group Collaboration
Flexible user interfaces that can be customized to meet the needs of the task at hand are particularly important for real-time group collaboration. This paper presents the user in...
Bogdan Dorohonceanu, Boi Sletterink, Ivan Marsic