Filters








523,290 Hits in 3.1 sec

Forward Build Systems, Formally [article]

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
2022 arXiv   pre-print
Along the way, we show that other forward build systems, such as Fabricate and Memoize, are also correct.  ...  Of course, realistic build systems avoid repeated work, stop early when possible, and run commands in parallel, and we prove that these optimizations, as embodied in the recent forward build system Rattle  ...  We then move to A , providing: • The key concepts and definitions underpinning all of our models of forward build systems in §3. • A formal model of F , as a representative of simple forward build systems  ... 
arXiv:2202.05328v1 fatcat:s5a56brrurdutmvmoi3mvj4ity

The Time to Assign Ownership in Forward Sale Sontract of Construction

Mohamad Sahraee, Hosein Kaviar
2017 Tarih Kültür ve Sanat Araştırmaları Dergisi  
Should the ownership transfer be taking place with formally establishing and signing a forward sale contract of construction and/or via the final title deed transfer after the building has been completely  ...  The ratification of the forward sale contract of construction law in 2010 almost put an end to such disputes and the forward sale of the buildings under construction was considered as legally correct and  ...  The ownership transfer in such contracts regarding the building site and the other extant parts takes place through signing a formal forward sale and the ownership transfer is suspended until the building  ... 
doi:10.7596/taksad.v6i1.777 fatcat:dujht6jncrbzhfainr4e7gwgty

On the Formal Analysis of Photonic Signal Processing Systems [chapter]

Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar
2015 Lecture Notes in Computer Science  
Photonic signal processing is an emerging area of research, which provides unique prospects to build high-speed communication systems.  ...  Consequently, we formalize and verify the important properties of the stability and the resonance of photonic systems.  ...  We believe that there is a dire need of an accurate framework to build high assurance photonic systems.  ... 
doi:10.1007/978-3-319-19458-5_11 fatcat:n7jcysftxvg7nhv2ffuyy5mwpi

A Connected Community Approach: Citizens and Formal Institutions Working Together to Build Community-Centred Resilience

Blake Poland, Anne Gloger, Garrett T. Morgan, Norene Lach, Suzanne F. Jackson, Rylan Urban, Imara Rolston
2021 International Journal of Environmental Research and Public Health  
In this paper, we advance a Connected Community Approach (CCA) to building community resilience with a specific focus on the relationship between community and formal institutions.  ...  Analyses of past shock events invariably point to the need for more concerted efforts in building effective governance and networked relations between civil society groupings and formal institutions before  ...  Community Approach, especially as it relates to building resilience with racialized and marginalized communities, in the context of wider systemic drivers of persistent inequity, of which formal institutions  ... 
doi:10.3390/ijerph181910175 pmid:34639478 fatcat:j742iiy4hbeyveekvujst5tgk4

Building Correct SDN Components from a Global Event-B Formal Model [chapter]

J. Christian Attiogbé
2018 Lecture Notes in Computer Science  
We provide the steps to build, using several refinements, a global formal model of a SDN system; correct SDN components are then systematically built from the global formal model satisfying the properties  ...  In this work we use a formal stepwise approach to model and reason on SDN.  ...  A few liveness properties in LTL/ProB Conclusion We have shown how to build correct controller and switches components from the refinement of a global formal model of an SDN system, using the decomposition  ... 
doi:10.1007/978-3-030-02146-7_2 fatcat:zei25ath2bf4xg5qdjxbcn2yfe

Building Correct SDN-Based Components from a Global Formal Mode [article]

Christian Attiogbé
2018 arXiv   pre-print
We provide the steps to build, using several refinements, a global formal model of a SDN system; correct SDN components are then systematically built from the global formal model satisfying the desired  ...  In this work we use a formal stepwise approach to model and reason on SDN.  ...  A few liveness properties in LTL/ProB Conclusion We have shown how to build correct controller and switches components from the refinement of a global formal model of an SDN system, using the decomposition  ... 
arXiv:1806.09476v1 fatcat:m2r3ye4rs5c3jpqezxn5fhudwi

Building a Formal Framework for Mobile Ad Hoc Computing [chapter]

Lu Yan, Jincheng Ni
2004 Lecture Notes in Computer Science  
We present a formal framework towards a systematic design for MANET applications.  ...  In this paper, we define a layered architecture for mobile ad hoc computing and specify the system components with the B method and UML diagrams.  ...  If the received message is a communication message, the system [myID ] Forward markID and Broadcast Report Link Broken Receive Get Incoming Message [CommMSG ] Identify Route Message  ... 
doi:10.1007/978-3-540-24685-5_104 fatcat:ldsacriq3jgajhmaymocbaeav4

Flexibility in modeling languages and tools: a call to arms

Eric Van Wyk, Mats Per Erik Heimdahl
2009 International Journal on Software Tools for Technology Transfer (STTT)  
In model-based development, the software development effort is centered around a formal description of the proposed software system; a description that can be subjected to various types of analysis and  ...  To make automated software engineering techniques more useful for more types of developers and allow us to move forward as a community it is crucial that we develop the foundation for building extensible  ...  In this paradigm, the development effort is centered around a formal description of the proposed software system-the 'model' in model-based development.  ... 
doi:10.1007/s10009-009-0107-4 fatcat:ygiklbaaijcpzlu2vkivurntmi

Semi-Supervised Low-Resource Style Transfer of Indonesian Informal to Formal Language with Iterative Forward-Translation [article]

Haryo Akbarianto Wibowo, Tatag Aziz Prawiro, Muhammad Ihsan, Alham Fikri Aji, Radityo Eko Prasojo, Rahmad Mahendra, Suci Fitriany
2020 arXiv   pre-print
We build a new dataset of parallel sentences of informal Indonesian and its formal counterpart. We benchmark several strategies to perform style transfer from informal to formal Indonesian.  ...  We also explore augmenting the training set with artificial forward-translated data.  ...  We build a new parallel informal -formal Indonesian data by annotating tweets from the customer service domain.  ... 
arXiv:2011.03286v2 fatcat:fk6clfkzxnak5pq2uql356jehq

Formal Foundations for Networking (Dagstuhl Seminar 15071)

Nikolaj Bjorner, Nate Foster, Philip Brighten Godfrey, Pamela Zave, Marc Herbstritt
2015 Dagstuhl Reports  
Distributed Systems (Canini, Cerny). What are some techniques for handling the distributed systems issues that arise in modeling and reasoning about networks?  ...  begin the task of developing formal foundations for networks.  ...  In many areas of computing, techniques ranging from testing to formal modeling to full-blown verification have been successfully used to help programmers build reliable systems.  ... 
doi:10.4230/dagrep.5.2.44 dblp:journals/dagstuhl-reports/BjornerFGZ15 fatcat:givomdthwrgrveoenb264jheby

Approaching a formal soccer theory from behaviour specifications in robotic soccer* [chapter]

F. Dylla, A. Ferrein, G. Lakemeyer, J. Murray, O. Obst, T. Röfer, S. Schiffer, F. Stolzenburg, U. Visser, Th. Wagner
2008 Computers in Sport  
We introduce basic primitives compliant with the terminology known in soccer theory, discuss an example on an abstract level and formalize it. The formalization of soccer presented here is appealing.  ...  We investigate if and how soccer theory can be formalized such that specifi cation and execution are possible.  ...  point, for sport scientists to build formal models of their respective sports discipline.  ... 
doi:10.2495/978-1-84564-064-4/06 fatcat:nsflmcs4cjdfxa7gsmzl5o5yra

Towards French Smart Building Code: Compliance Checking Based on Semantic Rules [article]

Nicolas Bus , Muhammad Fahad
2019 arXiv   pre-print
We argue our approach is a step forward in bridging the gap between regulation texts and automated checking algorithms.  ...  Model chart, formal rules and pre-processors approach allows translating construction regulations into semantic queries.  ...  The system outputs a Building Collaboration Format (BCF) file reporting for each constraint-query a list of non-compliant building elements.  ... 
arXiv:1910.00334v1 fatcat:ecknvrbo7bfk3fqrh2lhz77rfy

Formal Analysis of Power Electronic Systems [chapter]

Sidi Mohamed Beillahi, Umair Siddique, Sofiène Tahar
2015 Lecture Notes in Computer Science  
electronic systems.  ...  In this paper, we propose to use a recent formalization of signal-flow-graphs in higher-order-logic for the formal analysis of power electronic converters, which are the foremost components of modern power  ...  Formalization of System Properties In order to verify that the given model meets its specification, we need to build the foundations based on which we can formally describe the main system properties (  ... 
doi:10.1007/978-3-319-25423-4_17 fatcat:viun3yrjgvfynmqwdycgbv5rlu

Message from HPCMASPA 2021 Organizers

2021 2021 IEEE International Conference on Cluster Computing (CLUSTER)  
High Performance Computing Systems Plus Applications! Now in its eighth year, HPCMASPA continues to showcase some of the best HPC monitoring and data analytics work from the last year.  ...  While we've frequently discussed this type of work during invited talks and panels in the past, this year formalizes the acceptance process for submissions that describe it.  ...  In its early years HPCMASPA attracted a large percentage of talks related to the foundations of HPC monitoring: building infrastructure, frontends, and initial data analysis tools to help HPC systems and  ... 
doi:10.1109/cluster48925.2021.00010 fatcat:xuvd7ozqkngh5eb5nea736wbtm

Complexity is the enemy of dependability - can diversity provide a defence?

B. Littlewood
2002 Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings.  
If we want to build systems that are safe and reliable, we know that we should make them as simple as possible. And even then our task may not be an easy one.  ...  How, then, do we make our systems dependable?  ...  Altogether, it seems that this is another area of computer science where mathematical formality can bring better understanding and, ultimately, better control over the attributes of the systems we build  ... 
doi:10.1109/iceccs.2002.1181492 dblp:conf/iceccs/Littlewood02 fatcat:4fzj2tlunveorkwrmxvdqd4ynq
« Previous Showing results 1 — 15 out of 523,290 results