Sciweavers

107 search results - page 9 / 22
» A domain-specific language for industrial automation
Sort
View
FLAIRS
2006
15 years 1 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili
ESOP
2010
Springer
15 years 9 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
CAISE
2006
Springer
15 years 3 months ago
An Infrastructure for Building Semantic Web Portals
One important task of semantic web portals is to offer both end users and applications a seamless access to knowledge contained in heterogeneous data sources in specific user commu...
Yuangui Lei, Vanessa Lopez, Enrico Motta
ER
2007
Springer
130views Database» more  ER 2007»
15 years 5 months ago
Towards Automated Reasoning on ORM Schemes
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Mustafa Jarrar
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
15 years 5 months ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...