5639 search results - page 488 / 1128 » Timed Abstract Non-interference |
145
Voted
LATIN
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We introduce the NP-hard graph-based data clustering problem s-Plex Cluster Vertex Deletion, where the task is to delete at most k vertices from a graph so that the conne...
122
click to vote
PAM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Timeouts play a fundamental role in network protocols, controlling numerous aspects of host behavior at different layers of the protocol stack. Previous work has documen...
132
click to vote
DASFAA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
128
Voted
CHI
2009
ACM
15 years 11 months ago
2009
ACM
Abstract: Best Practices in Longitudinal Research This workshop will identify best practices for longitudinal research through an in-depth exploration of methods and metrics for c...
154
click to vote
ARC
2009
Springer
15 years 11 months ago
2009
Springer
Spiking Neural Networks (SNNs) model the biological functions of the human brain enabling neuro/computer scientists to investigate how arrays of neurons can be used to solve comput...