35,315 Hits in 4.6 sec

Developing formal specifications via Z (workshop)

Hossein Saiedian
1997 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education - SIGCSE '97  
State of the System • Every sequential system has an abstract state space which should be specified via a schema.  ...  -Analogous to "modular" program development.  ...  computer systems: -Build a formal mathematical model of some aspect of a system -Calculate whether or not the system possess certain desired properties Need for Measurements for Formal Methods (continued  ... 
doi:10.1145/268084.268256 dblp:conf/sigcse/Saiedian97 fatcat:aouhsisvabbpdbe7sf3oxhibxm

First International Workshop

1988 Bulletin Géodésique  
formalisms for context-based reasoning.  ...  Given the increasing interest in hybrid knowledge representation formalisms as basis of the Semantic Web, it is interesting to consider proposals that assume hybrid formalisms combining Description Logics  ...  By employing the STRIPS formalism, we can generate all possible meeting sequences via expansion from an initial state, given the number of participants and the agenda of the meeting.  ... 
doi:10.1007/bf02519331 fatcat:loh6vfzah5dwvmcyzt5n6khije

The Faculty Workshop

Pierre Schlag
2011 Social Science Research Network  
We are signaling to each other via our questions and thereby constructing for ourselves and each other the appropriate genre for the law review article/faculty workshop performance.  ...  So if we can put the small number of historians and interesting people aside for a moment, what we have in most faculty workshops are extremely stylized (and formally redundant) presentations.  ... 
doi:10.2139/ssrn.1857525 fatcat:aokqevmkrfbhziz72if3l7cmfi

Preconference Workshops

1995 Journal of Pediatric Oncology Nursing  
In this workshop we will be discussing how to begin the journey of doing qualitative research.  ...  Our results could have pedagogical implications for German L3 learning in Serbia, contributing to curriculum design and a better understanding of lexical development in L3 learners.  ...  Für Korpuslinguisten wie z. B.  ... 
doi:10.1177/104345429501200316 fatcat:5yyi7qkmrzhp3dlyt3eivenfd4

QCD2019 Workshop Summary [article]

S.J. Brodsky, V.D. Burkert, D.S. Carman, J.P. Chen, Z.-F. Cui, M. Döring, H.G. Dosch, J.P. Draayer, L. Elouadrhiri, D.I. Glazier, A.N. Hiller Blin, T. Horn (+17 others)
2020 arXiv   pre-print
This workshop aimed to develop plans and to facilitate the future synergistic efforts between experimentalists, phenomenologists, and theorists working on studies of hadron spectroscopy and structure with  ...  The topical workshop Strong QCD from Hadron Structure Experiments took place at Jefferson Lab from Nov. 6-9, 2019.  ...  The observables accessible in lattice calculations are matrix elements of nonlocal operators, such as h(z) = N |ψ(0, z)ΓW 3 (z)ψ(0, 0)|N , which can be related to the PDFs via a Fourier transform and matching  ... 
arXiv:2006.06802v2 fatcat:lnagm2mdorfoteza673imvcm7i

Enforcing architecture constraints

Robert Balzer
1996 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -  
behavior of the system, that description couldn't be used by tools as a formal specification against which to compare and contrast the system's actual behavior.  ...  Prohibit (x y z w) (and (connect x y) (architecture-level x z) (architecture-level y w) (> (absolute Prohibit (x) (pipe-connect-chain x x) where (y z) (implies (pipe-connect y z) (pipe-connect-chain  ... 
doi:10.1145/243327.243611 fatcat:5sfandnxtnek5ohdw4k7idqqiq

HPC Infrastructures Workshop #10

Huub Stoffers, Norbert Meyer, Gert Svensson, Andreas Johansson, Susanna Salminen, Hayk Shoukourian, François Robin
2019 Zenodo  
The workshop, upon invitation only, with participants from Europe, America, Australia, and Asia, brought together experts from the HPC facility management side with experts from companies developing and  ...  BSC, CSCS, CEA, LRZ, PDC-KTH, and PSNC have collaborated in the committee organising the workshop.  ...  Scott Milliken had developed, as a university degree work, a DCIM software package specifically tailored for the needs of an HPC centre.  ... 
doi:10.5281/zenodo.3773754 fatcat:dngi5432szcuvb4vm57ieqqywq

Breakthrough propulsion physics workshop preliminary results

Marc G. Millis
1998 AIP Conference Proceedings  
Because of changes that may be made before formal publication, this preprint is made available with the understanding that it will not be cited or reproduced without the permission of the author.  ...  This includes the development of the research solicitation and selection criteria used during the workshop, and which are being refined for future evaluations of research proposals.  ...  During the recent workshop, many of these new approaches were reviewed, and about 80 specific research task ideas were generated for making progress toward propulsion breakthroughs. reporting burden for  ... 
doi:10.1063/1.54913 fatcat:7i7hithzj5eypplnduw75gcczi

VBSCan Thessaloniki 2018 Workshop Summary [article]

Riccardo Bellan, Jakob Beyer, Carsten Bittrich, Giacomo Boldrini, Ilaria Brivio, Lucrezia Stella Bruni, Diogo Buarque Franzosi, Claude Charlot, Vitaliano Ciulli, Roberto Covarelli, Duje Giljanovic, Giulia Gonella, Pietro Govoni, Philippe Gras (+49 others)
2019 arXiv   pre-print
This document reports the first year of activity of the VBSCan COST Action network, as summarised by the talks and discussions happened during the VBSCan Thessaloniki 2018 workshop.  ...  See the text for further Table 2 : 2 Technical specifications for the comparison of MG5_aMC + SMEFTsim and VBFNLO in the generation of W + Z diboson production.  ...  While this approach is the most correct one from the formal point of view, there is a practical problem with it.  ... 
arXiv:1906.11332v1 fatcat:p4ujriai6rh2vpuinz2el35eji

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert Van Der Torre, Michael Wagner
2018 Dagstuhl Manifestos  
The Dagstuhl workshop led to the first volume of a handbook series in formal argumentation, reflecting the new stage of the development of argumentation theory.  ...  argumentation mining, via LegalTech and machine ethics, to therapy in clinical psychology.  ...  The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop an analysis of the current state of the research in this field and to  ... 
doi:10.4230/dagman.7.1.69 dblp:journals/dagstuhl-manifestos/GabbayGLT18 fatcat:g4dtu63a2vfwhp4sr6z74jh2va

Methods and Tools for the Verification of Critical Properties [chapter]

Roger Bishop Jones
1992 5th Refinement Workshop  
The discussion is based on experience at ICL in the application of formal methods to the development of highly assured secure systems.  ...  Problems arising in the use of the standard paradigm for specification and refinement in Z are identified and discussed. Alternative methods which overcome some of these difficulties are presented.  ...  of HOL and Z.  ... 
doi:10.1007/978-1-4471-3550-0_6 dblp:conf/refine/Jones92 fatcat:ilpksxzedbfzxa2b5hja34tvra

Issues in multiparadigm viewpoint specification

Eerke Boiten, Howard Bowman, John Derrick, Maarten Steen
1996 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -  
We de ne a collection of viewpoints to be consistentif a common development of all of them via the respective development relations exists which respects the correspondences between the viewpoints.  ...  of formalism.  ... 
doi:10.1145/243327.243639 fatcat:ynt63kqu4ff3rpcrmgse3fjxbq

2nd international workshop on graph grammars and their applications to computer science

1982 Theoretical Computer Science  
SchZjkr (Osnabiuck, West Germany): Sol&ware specifications via graph grammars, Q/.  ...  Pletat (Stuttgart, West Germany): Su.pporting the development of algebraic specification by graph grammars, .K.E. .vaZz (Ciarlottesville, Virginia, U.S.A.) : Categories of graphs, Z UC Prrztt (Charlottesville  ... 
doi:10.1016/0304-3975(82)90094-9 fatcat:c7inou7ojfgmladx3pwunaglei

MMB & DFT 2012 Workshop Proceedings [article]

Jens B. Schmitt, Michael A. Beck
Workshop Proceedings of the 16th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance.Includes the proceedings of the Workshop  ...  on Network Calculus (WoNeCa), the Workshop on Physically-augmented Security for Wireless Networks (PILATES) and the Workshop on Modeling and Analysis of Complex Reaction Networks (MACoRN).  ...  Each of the legitimate nodes will then observe a noised estimate of the channel: h A = h + z A , and h B = h + z B , (2) where z A and z B are added white Gaussian noise at the two nodes.  ... 
doi:10.6084/m9.figshare.14330594.v1 fatcat:ujcqrru2yzgq7inczmfpyj3jce

VVSL Specification of a Transaction-oriented Access Handler [chapter]

C. A. Middelburg
1992 Workshops in Computing  
Thereafter, the VVSL specification of an access handler interface given in [1] is outlined.  ...  VVSL is a mathematically well-defined VDM-like specification language with features for (1) modular structuring and (2) specifying operations which interfere through a partially shared state.  ...  First some salient aspects of formal specifications concerning development of software systems are dwelled upon.  ... 
doi:10.1007/978-1-4471-3864-8_10 fatcat:kzypufbmf5fwzkca5mslcr2moy
« Previous Showing results 1 — 15 out of 35,315 results