Sciweavers

6862 search results - page 965 / 1373
» Modeling Parallel Applications Performance on Heterogeneous ...
Sort
View
ENTCS
2002
145views more  ENTCS 2002»
15 years 6 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
OZCHI
2005
ACM
16 years 10 days ago
Making sense of student use of nonverbal cues for intelligent tutoring systems
Many software systems would significantly improve performance if they could interpret the nonverbal cues in their user’s interactions as humans normally do. Currently, Intellige...
Farhad Dadgostar, Hokyoung Ryu, Abdolhossein Sarra...
ANCS
2005
ACM
16 years 10 days ago
Addressing data compatibility on programmable network platforms
Large-scale applications require the efficient exchange of data across their distributed components, including data from heterogeneous sources and to widely varying clients. Inher...
Ada Gavrilovska, Karsten Schwan
CCS
2010
ACM
16 years 1 months ago
Toward practical authorization-dependent user obligation systems
Many authorization system models include some notion of obligation. Little attention has been given to user obligations that depend on and affect authorizations. However, to be u...
Murillo Pontual, Omar Chowdhury, William H. Winsbo...
ISCC
2006
IEEE
129views Communications» more  ISCC 2006»
16 years 24 days ago
A Semantic Overlay Network for P2P Schema-Based Data Integration
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
Carmela Comito, Simon Patarin, Domenico Talia