5384 search results - page 911 / 1077 » Open Standards Requirements |
178
click to vote
CHARME
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
240
click to vote
DCOSS
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Wireless sensor networks can be very useful in applications that require the detection of crucial events, in physical environments subjected to critical conditions, and t...
200
click to vote
GD
2005
Springer
16 years 19 days ago
2005
Springer
The crossing number of a graph is the minimum number of edge intersections in a plane drawing of a graph, where each intersection is counted separately. If instead we count the nu...
198
Voted
GRID
2005
Springer
16 years 19 days ago
2005
Springer
— Access control in computational grids is typically provided by a combination of identity certificates and local accounts. This approach does not scale as the number of users a...
175
Voted
ISW
2005
Springer
16 years 18 days 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...