4047 search results - page 531 / 810 » Some Properties and Some Problems on Set Functors |
198
click to vote
IFM
2005
Springer
16 years 3 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
153
click to vote
MKM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Defining functions is a major topic when building mathematical repositories. Though relatively easy in mathematical vernacular, function definitions rise a number of qu...
165
Voted
WDAG
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The vast majority of papers on distributed computing assume that processes are assigned unique identifiers before computation begins. But is this assumption necessary? W...
202
click to vote
SWS
2004
ACM
16 years 18 hour ago
2004
ACM
Technical advances in networks, operating systems and web based services are enabling new web-based services such as audiovisual surveillance, monitoring and recording of unfoldin...
169
click to vote
ACISP
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract. A feasible solution to prevent potential misuse of signatures is to put some restrictions on their verification. Therefore S.J.Kim, S.J.Park and D.H.Won introduced the n...