5639 search results - page 488 / 1128 » Timed Abstract Non-interference |
195
click to vote
LATIN
2010
Springer
16 years 2 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...
178
click to vote
PAM
2010
Springer
16 years 2 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...
187
click to vote
DASFAA
2009
IEEE
16 years 2 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...
172
click to vote
CHI
2009
ACM
16 years 2 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...
201
click to vote
ARC
2009
Springer
16 years 2 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...