14824 search results - page 2859 / 2965 » Security - Introduction |
83
Voted
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
108
click to vote
GRID
2005
Springer
15 years 4 months ago
2005
Springer
— To date, only Linux-/UNIX-based hosts have been participants in the Grid vision for seamless data access, because the necessary Grid data access protocols have not been impleme...
HPCC
2005
Springer
15 years 4 months ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...
108
click to vote
ISI
2005
Springer
15 years 4 months ago
2005
Springer
To balance demand and supply of information, we propose a framework called “information supply chain” (ISC). This framework is based on supply chain management (SCM), which has...
ISW
2005
Springer
15 years 4 months ago
2005
Springer
In a group signature [19], any group member can sign on behalf of the group while remaining anonymous, but its identity can be traced in an future dispute investigation. Essentiall...