5693 search results - page 883 / 1139 » Socially relevant computing |
175
click to vote
APSCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
127
click to vote
ASM
2008
ASM
15 years 7 months ago
2008
ASM
UML-B provides a graphical front end for Event-B. It adds support for class-oriented and state machine modelling. UML-B is similar to UML but has its own meta-model. UML-B provides...
144
click to vote
ATC
2008
Springer
15 years 7 months ago
2008
Springer
Dynamic collaboration environments in which team member utilize different pervasive collaboration services for their collaborative work pose many challenges for service adaptation....
130
click to vote
CHI
2008
ACM
15 years 7 months ago
2008
ACM
We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
159
Voted
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...