852 search results - page 54 / 171 » Domain Modeling Based on Engineering Standards |
WONS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper1 we study the opportunities of commercial exploitation of applications based on sensor networks. Such applications are quite famous nowadays in many different domain...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Modeling and quantifying diļ¬erent human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior diļ...
TAPSOFT
1997
Springer
13 years 12 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
TCBB
2011
13 years 2 months ago
2011
āIn this paper, we propose a communication model of evolution and investigate its information-theoretic bounds. The process of evolution is modeled as the retransmission of infor...
ISORC
2009
IEEE
14 years 2 months ago
2009
IEEE
AUTOSAR as speciļ¬ed in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...