8179 search results - page 1360 / 1636 » The PRACTIONIST Development Tool |
163
click to vote
VRCAI
2004
ACM
16 years 1 days ago
2004
ACM
Introducing mixed reality (MR) into safety-critical environment like oil refinery is difficult, since the environment and organization lays demanding restrictions for the applicat...
178
click to vote
AMAST
2004
Springer
16 years 22 hour ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
177
click to vote
CAISE
2004
Springer
16 years 19 hour ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
132
Voted
CBSE
2004
Springer
16 years 18 hour ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...
197
click to vote
CBSE
2004
Springer
16 years 18 hour ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...