1275 search results - page 28 / 255 » Are you having difficulty |
CAV
1998
Springer
13 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
APN
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
CEAS
2008
Springer
13 years 9 months ago
2008
Springer
Social networking communities have become an important communications platform, but the popularity of these communities has also made them targets for a new breed of social spamme...
CSCW
2008
ACM
13 years 9 months ago
2008
ACM
User profiles on today's social networking sites support only a small set of predefined questions. We report on an alternative way for users to richly describe themselves, by...
CSCW
2008
ACM
13 years 9 months ago
2008
ACM
Within a group of peers, it is often useful or interesting to know whether someone in the group has gone to bed or whether they have awakened in the morning. This information, nat...