9018 search results - page 1201 / 1804 » 3D-Brain Model Software |
163
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
213
click to vote
HT
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, an approach for the implementation of a qualitybased Web search engine is proposed. Quality retrieval is introduced and an overview on previous efforts to implement...
203
click to vote
DATE
2005
IEEE
16 years 26 days ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
165
click to vote
EUROPAR
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Accurately modeling and predicting performance for largescale applications becomes increasingly difficult as system complexity scales dramatically. Analytic predictive mo...
217
click to vote
EUROSPI
2005
Springer
16 years 23 days ago
2005
Springer
It is advocated to use the ISO/IEC 15504 standard into new domains not related to Information Technology (IT), giving a powerful enterprise-wide assessment tool for quality manager...