Sciweavers

4048 search results - page 265 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
SIGADA
2004
Springer
15 years 10 months ago
Model driven development with Ada
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
Andy Lapping
GLVLSI
2003
IEEE
122views VLSI» more  GLVLSI 2003»
15 years 10 months ago
Cooling of integrated circuits using droplet-based microfluidics
Decreasing feature sizes and increasing package densities are making thermal issues extremely important in IC design. Uneven thermal maps and hot spots in ICs cause physical stres...
Vamsee K. Pamula, Krishnendu Chakrabarty
117
Voted
HICSS
2003
IEEE
144views Biometrics» more  HICSS 2003»
15 years 10 months ago
A Hybrid Approach for User Profiling
With the growing amount of information being digitized, users find it difficult to obtain the most relevant information that is hidden in the deluge of information returned to the...
Danny Chiang Choon Poo, Brian Chng, Jie-Mein Goh
HICSS
2003
IEEE
142views Biometrics» more  HICSS 2003»
15 years 10 months ago
Evolution of a Knowledge Focused Computer Supported Learning System by Ensuring Extensibility through Generalization and Replica
If sufficient attention is not paid to the information models on which Learning Platforms are based the ability to deliver rich functionality is hindered. This paper describes the...
David White, Lesley A. Gardner, Don Sheridan
ICFEM
2003
Springer
15 years 9 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...