Sciweavers

7742 search results - page 1448 / 1549
» The Robustness of Level Sets
Sort
View
117
Voted
DAC
2004
ACM
16 years 1 months ago
Abstraction of assembler programs for symbolic worst case execution time analysis
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
Klaus Schneider, Tobias Schüle
104
Voted
MICCAI
2006
Springer
16 years 1 months ago
Fiber Bundle Estimation and Parameterization
Individual white matter fibers cannot be resolved by current magnetic resonance (MR) technology. Many fibers of a fiber bundle will pass through an individual volume element (voxel...
Marc Niethammer, Sylvain Bouix, Carl-Fredrik Westi...
115
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
Developing a security protocol for a distributed decision support system in a healthcare environment
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
Liang Xiao 0002, Paul H. Lewis, Alex Gibb
112
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
Behaviour model elaboration using partial labelled transition systems
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
Sebastián Uchitel, Jeff Kramer, Jeff Magee
98
Voted
WWW
2008
ACM
16 years 1 months ago
Towards context-aware semantic web service discovery through conceptual situation spaces
Context-awareness is highly desired across several application domains. Semantic Web Services (SWS) enable the automatic discovery of distributed Web services based on comprehensi...
Stefan Dietze, Alessio Gugliotta, John Domingue
« Prev « First page 1448 / 1549 Last » Next »