8825 search results - page 1460 / 1765 » All for one or one for all |
121
click to vote
IFL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
101
click to vote
ISW
2005
Springer
15 years 6 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...
119
click to vote
LCTRTS
2005
Springer
15 years 6 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
126
click to vote
NOSSDAV
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we propose a fully distributed peer-to-peer (P2P) infrastructure supporting Networked Virtual Environment (NVE) applications, such as massively multiplayer online ga...
121
click to vote
OTM
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...