3747 search results - page 593 / 750 » Active Operations on Collections |
ASIACRYPT
2003
Springer
14 years 3 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
DFG
2003
Springer
14 years 3 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
EWSPT
2003
Springer
14 years 3 months ago
2003
Springer
: Software development is an experimental discipline, i.e. somewhat unpredictable. This suggests that software processes improvement should be based on the continuous iteration of ...
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
GLOBAL
2003
Springer
14 years 3 months ago
2003
Springer
Global systems – systems which may operate over transient networks including mobile elements and in which computation itself may be mobile – are gaining in importance. Neverthe...