2533 search results - page 115 / 507 » Supporting Generalized Context Interactions |
TELSYS
2002
13 years 9 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
BROADNETS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Wavelength converters simplify the wavelength assignment problem in virtual topology design in optical networks and increase the utilization of the fiber bandwidth. Ho...
POLICY
2009
Springer
14 years 4 months ago
2009
Springer
—Policy definition is an important component of the consistent authorisation service infrastructure that could be effectively integrated with the general resource provisioning wo...
GROUP
2009
ACM
14 years 4 months ago
2009
ACM
Previous research has explored how technology can motivate healthy living in social groups such as friends and coworkers. However, little research has focused on the implications ...
KDD
1997
ACM
14 years 2 months ago
1997
ACM
In Wirth t Reinartz (1996), we introduced the early indicator method, a multi-strategy approach for the efficient prediction of various aspectsof the fault profile of a set of car...