Sciweavers

2757 search results - page 484 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
JPDC
2008
122views more  JPDC 2008»
14 years 11 months ago
Stochastic robustness metric and its use for static resource allocations
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
Vladimir Shestak, Jay Smith, Anthony A. Maciejewsk...
JUCS
2006
145views more  JUCS 2006»
14 years 11 months ago
Computer Science, Logic, Informatics Education
: Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called "Bologna process". We survey th...
Katalin Pásztor-Varga, Magda Várter&...
PR
2008
113views more  PR 2008»
14 years 11 months ago
Heart sound as a biometric
In this paper, we investigate the possibility of using heart sound as a biometric for human identification. The most significant contribution of using heart sound as a biometric is...
Koksoon Phua, Jianfeng Chen, Tran Huy Dat, Louis S...
FAC
2000
114views more  FAC 2000»
14 years 11 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
CGF
2002
162views more  CGF 2002»
14 years 11 months ago
Geometric Snakes for Triangular Meshes
Feature detection is important in various mesh processing techniques, such as mesh editing, mesh morphing, mesh compression, and mesh signal processing. In spite of much research ...
Yunjin Lee, Seungyong Lee