3555 search results - page 32 / 711 » Security-Critical System Development with Extended Use Cases |
182
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Fuel cells are clean power sources that have much higher energy densities and lifetimes compared to batteries. However, fuel cells have limited load following capabilities and can...
108
click to vote
JOT
2010
14 years 11 months ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
101
click to vote
AC
2003
Springer
15 years 6 months ago
2003
Springer
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
101
click to vote
ADL
1999
Springer
15 years 5 months ago
1999
Springer
We describe an approach to the development of a digital library system that is founded on a number of basic principles. In particular, we discuss the critical role of metadata in ...
135
click to vote
MM
2005
ACM
15 years 6 months ago
2005
ACM
This work achieves full registration of scenes in a large area and creates visual indexes for visualization in a digital city. We explore effective mapping, indexing, and display ...