9 Hits in 7.1 sec

IC3 software model checking

Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen
2019 International Journal on Software Tools for Technology Transfer (STTT)  
In order to prevent such erroneous behaviour model checking, a formal verification technique for determining functional properties of information and communication systems, has proven to be highly useful  ...  In times where computers become ever smaller and more powerful and software becomes more complex and advances even deeper into every aspect of our lives, the risk of software misbehaviour and the resulting  ...  In addition, considering only one execution of the PLC program brings the program closer to software for personal computers and enables the use of existing approaches for the verification of software for  ... 
doi:10.1007/s10009-019-00547-x fatcat:qvwb3rcfxjcffkyy53nd2fwq5q

Semantic Modelling of Control Logic in Automation Systems - Knowledge-Based Support of the Engineering and Operation of Control Logic in Building and Industrial Automation Systems

Georg Ferdinand Schneider
• the need for incremental verification of control logic designs over the life cycle and the bidirectional flow of information from the final PLC code back to the model.  ...  The field of continuous control offers a theoretical rich set of methods and theories for the analysis, composition and prediction of the behaviour of the resulting control system [Abe10] .  ...  The history of the development of OWL is summarised in Domingue et al. [DFH11] . For convenience OWL is used to refer to OWL 2 in this thesis.  ... 
doi:10.5445/ir/1000092405 fatcat:zxjqqdjsdredbgyevscanh5zq4

Formal Foundations for Networking (Dagstuhl Seminar 15071) Holistic Scene Understanding (Dagstuhl Seminar 15081) Limitations of Convex Programming: Lower Bounds on Extended Formulations and Factorization Ranks (Dagstuhl Seminar 15082) Smart Buildings and Smart Grids (Dagstuhl Seminar 15091)

Sebastian Erdweg, Martin Erwig, Richard Paige, Eelco Visser, Nikolaj Bjørner, Nate Foster, Philip Godfrey, Pamela Zave, Yvonne Coady, James Kempf, Rick Mcgeer, Stefan Schmid (+12 others)
Near-term research goals (2 years out): Scalable IP multicast that works for wide area (short-to-mid-term) Scalable and interoperable communication paths (  ...  These verification conditions appear in form of constrained Horn clauses and can be solved efficiently using state-of-the-art automated deduction techniques.  ...  Constrained Horn Clauses for Software, Hardware, Network Verification and Synthesis Reasoning about Stateful Networks Mooly Sagiv (Tel Aviv University -Tel Aviv, IL) License Creative Commons BY 3.0 Unported  ... 

Making Legal Knowledge in Global Digital Environments: The Judicial Opinion as Remix [chapter]

Martine Courant Rife
2011 Writing in Knowledge Societies  
And we see that to share the power of writing is to share the means for all to articulate their needs, interest, and learning into the great experiment of literacy.  ...  We see the opportunities that new technologies have for further democratizing knowledge.  ...  I am thankful for the inspired research assistance of Victoria Killington and Elizabeth Maurer, and the learned collegial comment of Alex Dick.  ... 
doi:10.37514/per-b.2011.2379.2.07 fatcat:su2ajzbgjzeipjxttywfniv6km

Dagstuhl Reports, Volume 4, Issue 11, November 2014, Complete Issue [article]

and clause learning, for such theories.  ...  For example, exploring the existing power lines for Internet access using PLC; or leveraging on the distributed, ad hoc nature of community smart grid networks to explore novel low-cost access solutions  ...  and correctness verification.  ... 
doi:10.4230/dagrep.4.11 fatcat:zzps76cx7rfldla5z5dikvsqbe

CHRONICLE [chapter]

Ko Swan Sik, M.C.W. Pinto, J.J.G. Syatauw
1994 Asian Yearbook of International Law, Volume 4 (1994)  
It was also foreseen that the appeals level procedures would be completed before the end of 1993 in Indonesia, Malaysia and the Philippines, in early 1994 in Thailand, and before the end of 1994 in Hongkong  ...  The first instance refugee status procedures were completed in early 1992 in the Philippines and in early 1993 in Malaysia and Indonesia, and were expected to be completed before the end of 1993 in Thailand  ...  It called for an exchange of special envoys to solve the nuclear issue.  ... 
doi:10.1163/9789004400634_022 fatcat:53zokm3ncfd2ngx6pjdbaglaga

Universities, Entrepreneurship and Enterprise Development in Africa – Conference Proceedings 2018

German-African University Partnership Platform For The Development Of Entrepreneurs And Small/Medium Enterprises, Jürgen Bode, Christine Freitag
Augustin campus of the Bonn-Rhein-Sieg University of Applied Sciences.  ...  These proceedings are the outcome of the 7th international annual conference "Universities, Entrepreneurship and Enterprise Development in Africa" which took place from 13 to 14 September 2018 on the Sankt  ...  It is impossible to prevent people who truly believe into rhino horn as cure for all kinds of diseases from using it.  ... 
doi:10.18418/978-3-96043-071-1 fatcat:en5w3i3cs5gc3cfn2o25i72ieu

Combining Traditional And Virtual Teaching Techniques In Cross-Border Higher Education

Satu Alaoutinen, Jan Voracek
2003 unpublished
On the other hand the power of the technology should to be fully utilised, as it does offer unprecedented opportunities for interaction and for linking people, ideas, texts and resources.  ...  Against a background of the latest trends in international virtual education, we propose a realistic solution for equal collaboration between two different systems.  ...  If this language is not developed together the use of technology to solve problems can only cloud the issues that are attempted to be solved.  ... 

The emergence and work processes of executive remuneration consultants

Nadine de Gannes, Michael Power, Matthew Hall
Chapter 6 problematizes the market for executive talent and presents a conceptualisation of pay benchmarking pra [...]  ...  Main, 2006) view of executive pay practices.  ...  Not a single step of which I travelled alone.  ... 
doi:10.21953/lse.om9pp3ni95rw fatcat:cl6bp5ycirh6domuy2arholkpy