3984 search results - page 674 / 797 » A Model-Driven Transformation Method |
137
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
111
click to vote
WER
2007
Springer
15 years 10 months ago
2007
Springer
Business stakeholders need to have clear and realistic goals if they want to meet commitments in application development. As a consequence, at early stages they prioritize require...
139
click to vote
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
151
click to vote
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, the authors present an evaluation of a new biometric based on electrocardiogram (ECG) waveforms. ECG data were collected from 50 subjects during 3 data recordings s...
127
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
Disk and network latency must be taken into account when applying parallel computing to large multidimensional datasets because they can hinder performance by reducing the rate at...