4008 search results - page 652 / 802 » An expressive language of signatures |
268
click to vote
ICMI
2009
Springer
15 years 4 months ago
2009
Springer
During multiparty meetings, participants can use non-verbal modalities such as hand gestures to make reference to the shared environment. Therefore, one hypothesis is that incorpo...
188
click to vote
TSMC
2010
15 years 1 months ago
2010
Reference models are an important aid for business process modeling and design. Their aim is to capture domain knowledge and assist in the design of enterprise specific business pr...
275
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Relational data streams and XML streams have previously provided two separate research foci, but their unified support by a single Data Stream Management System (DSMS) is very des...
165
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
281
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...