2210 search results - page 53 / 442 » Applying a Model-based Approach for Embedded System Developm... |
ADBIS
2006
Springer
14 years 1 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
DMIN
2006
13 years 9 months ago
2006
- Research work related to applying text categorization methods to a monolingual corpus such as English text collections has been well established by several research teams in rece...
CONTEXT
2007
Springer
14 years 1 months ago
2007
Springer
Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context information and adapting systems behavior accordingly. Sev...
B
1998
Springer
13 years 12 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....