Modelling web based socio-technical systems through formalising possible sequences of human experience

Modelling web based socio-technical systems through formalising possible sequences of human experience

When people interact through technical infrastructure such as that of organisations or the World Wide Web, this infrastructure will change and in some cases new identifiable structures or even eco-systems may emerge. Examples of such emergent socio-technical systems on the Web include some social ma...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awduron:	Walton, R, De Roure, D
Fformat:	Conference item
Cyhoeddwyd:	Association for Computing Machinery 2019

Eitemau Tebyg

Business rules formalisation for information systems
gan: Ivana Rábová
Cyhoeddwyd: (2010-01-01)

Formalisations and applications of BPMN
gan: Wong, P, et al.
Cyhoeddwyd: (2011)

Entailment : the formalisation of inference
gan: Copeland, BJ
Cyhoeddwyd: (1978)

Formalisations and Applications of BPMN
gan: Wong, P, et al.
Cyhoeddwyd: (2011)

Formalisation of the component specification
gan: Vaidas Giedrimas, et al.
Cyhoeddwyd: (2004-12-01)

A formalisation of XMAS
gan: Bernard van Gastel, et al.
Cyhoeddwyd: (2013-04-01)

Formalising Confluence in PVS
gan: Mauricio Ayala-Rincón
Cyhoeddwyd: (2016-03-01)

Relative Monads Formalised
gan: Thorsten Altenkirch, et al.
Cyhoeddwyd: (2014-07-01)

Formalising the Continuous/Discrete Modeling Step
gan: Wen Su, et al.
Cyhoeddwyd: (2011-06-01)

La formalisation du discours savant La formalisation du discours savant
gan: Jean-Claude Gardin
Cyhoeddwyd: (1999-11-01)

The role of formalised and non-formalised intentions in legal parent-child relationships in Dutch law
gan: Machteld Vonk
Cyhoeddwyd: (2008-06-01)

Formalisations and applications of business process modelling notation
gan: Wong, P
Cyhoeddwyd: (2011)

Formalisations and Applications of Business Process Modelling Notation
gan: Wong, P
Cyhoeddwyd: (2008)

Abstracting and formalising the design co-evolution model
gan: John S. Gero, et al.
Cyhoeddwyd: (2022-01-01)

A top-level model of case-based argumentation for explanation: Formalisation and experiments
gan: Henry Prakken, et al.
Cyhoeddwyd: (2022-06-01)

Organisation management tasks formalisation
gan: A. V. Raychenko
Cyhoeddwyd: (2022-07-01)

Formalisation as a judicial claim
gan: Lorena Poblete
Cyhoeddwyd: (2020-06-01)

On formalising and normalising role−based access control systems
gan: Slaymaker, D, et al.
Cyhoeddwyd: (2009)

On formalising and normalising role−based access control systems
gan: Power, D, et al.
Cyhoeddwyd: (2007)

A Formalised Framework for Incremental Modelling of On−Chip Communication
gan: Böhm, P
Cyhoeddwyd: (2010)

The attacker in ubiquitous computing environments: formalising the threat model
gan: Roscoe, A, et al.
Cyhoeddwyd: (2003)

The formalisation and transformation of access control policies
gan: Slaymaker, M, et al.
Cyhoeddwyd: (2011)

Formalisation of the sofware component ontology specification
gan: Lina Bagušytė, et al.
Cyhoeddwyd: (2005-12-01)

Formalising Sensor Topologies for Target Counting
gan: Sven Linker, et al.
Cyhoeddwyd: (2018-02-01)

Formalising the informal through legal practice. The case of prostitution in authoritarian Tunisia
gan: Maaike Voorhoeve
Cyhoeddwyd: (2018-12-01)

Formalisation of the knowledge used in design of software, information and business systems
gan: Albertas Čaplinskas, et al.
Cyhoeddwyd: (2001-12-01)

A formalisation and prototype implementation of argumentation for statistical model selection
gan: Isabel Sassoon, et al.
Cyhoeddwyd: (2018-12-01)

Environmental Consequences of Wildlife Tourism: The Use of Formalised Qualitative Models
gan: Veselý Štěpán, et al.
Cyhoeddwyd: (2015-09-01)

Formalising and Verifying Reference Attribute Grammars in Coq.
gan: Schäfer, M, et al.
Cyhoeddwyd: (2009)

Formalising attack trees to support economic analysis
gan: Simpson, A, et al.
Cyhoeddwyd: (2022)

Formalising and Verifying Reference Attribute Grammars in Coq
gan: Schäfer, M, et al.
Cyhoeddwyd: (2009)

Formalisation of partnering as a collaborative procurement method /
gan: 206061 Chang, Siaw Hui, et al.
Cyhoeddwyd: (2009)

Formalisation of partnering as a collaborative procurement method
gan: 206061 Chang, Siaw Hui

Formalising the pi-calculus using nominal logic
gan: Jesper Bengtson, et al.
Cyhoeddwyd: (2009-06-01)

Formalising the Pathways to Life Using Assembly Spaces
gan: Stuart M. Marshall, et al.
Cyhoeddwyd: (2022-06-01)

THE FORMALISATION OF ISLAMIC ATTIRE IN PADANG, WEST SUMATRA
gan: Deny Hamdani
Cyhoeddwyd: (2009-06-01)

Dependently-Typed Formalisation of Typed Term Graphs
gan: Wolfram Kahl
Cyhoeddwyd: (2011-02-01)

Vertrouwen, formalisering en prestaties in interorganisatorische relaties
gan: Frans A. J. Van Den Bosch, et al.
Cyhoeddwyd: (2006-01-01)

Unique Solutions of Contractions, CCS, and their HOL Formalisation
gan: Chun Tian, et al.
Cyhoeddwyd: (2018-08-01)

A formalised approach to designing sonification systems for network-security monitoring
gan: Axon, L, et al.
Cyhoeddwyd: (2017)