4917 search results - page 307 / 984 » Software Engineering is Not Computer Science |
142
Voted
IUI
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...
130
Voted
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
143
click to vote
CSMR
1999
IEEE
15 years 8 months ago
1999
IEEE
We provide a strategy to restructure transaction processing systems. Such systems are core assets of most modern business operations, so their enhancement is crucial. Before large...
120
click to vote
VLSI
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we present the way of fast and accurate estimation of software energy consumption in off-the-shelf processor using IPI(Inter-Prefetch Interval) energy model. In ou...
100
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...