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...

Полное описание

Библиографические подробности
Главные авторы:	Walton, R, De Roure, D
Формат:	Conference item
Опубликовано:	Association for Computing Machinery 2019

Схожие документы

Business rules formalisation for information systems
по: Ivana Rábová
Опубликовано: (2010-01-01)

Formalisations and applications of BPMN
по: Wong, P, и др.
Опубликовано: (2011)

Entailment : the formalisation of inference
по: Copeland, BJ
Опубликовано: (1978)

Formalisations and Applications of BPMN
по: Wong, P, и др.
Опубликовано: (2011)

Formalisation of the component specification
по: Vaidas Giedrimas, и др.
Опубликовано: (2004-12-01)

A formalisation of XMAS
по: Bernard van Gastel, и др.
Опубликовано: (2013-04-01)

Formalising Confluence in PVS
по: Mauricio Ayala-Rincón
Опубликовано: (2016-03-01)

Relative Monads Formalised
по: Thorsten Altenkirch, и др.
Опубликовано: (2014-07-01)

Formalising the Continuous/Discrete Modeling Step
по: Wen Su, и др.
Опубликовано: (2011-06-01)

La formalisation du discours savant La formalisation du discours savant
по: Jean-Claude Gardin
Опубликовано: (1999-11-01)

The role of formalised and non-formalised intentions in legal parent-child relationships in Dutch law
по: Machteld Vonk
Опубликовано: (2008-06-01)

Formalisations and applications of business process modelling notation
по: Wong, P
Опубликовано: (2011)

Formalisations and Applications of Business Process Modelling Notation
по: Wong, P
Опубликовано: (2008)

Abstracting and formalising the design co-evolution model
по: John S. Gero, и др.
Опубликовано: (2022-01-01)

A top-level model of case-based argumentation for explanation: Formalisation and experiments
по: Henry Prakken, и др.
Опубликовано: (2022-06-01)

Organisation management tasks formalisation
по: A. V. Raychenko
Опубликовано: (2022-07-01)

Formalisation as a judicial claim
по: Lorena Poblete
Опубликовано: (2020-06-01)

On formalising and normalising role−based access control systems
по: Slaymaker, D, и др.
Опубликовано: (2009)

On formalising and normalising role−based access control systems
по: Power, D, и др.
Опубликовано: (2007)

A Formalised Framework for Incremental Modelling of On−Chip Communication
по: Böhm, P
Опубликовано: (2010)

The attacker in ubiquitous computing environments: formalising the threat model
по: Roscoe, A, и др.
Опубликовано: (2003)

The formalisation and transformation of access control policies
по: Slaymaker, M, и др.
Опубликовано: (2011)

Formalisation of the sofware component ontology specification
по: Lina Bagušytė, и др.
Опубликовано: (2005-12-01)

Formalising Sensor Topologies for Target Counting
по: Sven Linker, и др.
Опубликовано: (2018-02-01)

Formalising the informal through legal practice. The case of prostitution in authoritarian Tunisia
по: Maaike Voorhoeve
Опубликовано: (2018-12-01)

Formalisation of the knowledge used in design of software, information and business systems
по: Albertas Čaplinskas, и др.
Опубликовано: (2001-12-01)

A formalisation and prototype implementation of argumentation for statistical model selection
по: Isabel Sassoon, и др.
Опубликовано: (2018-12-01)

Environmental Consequences of Wildlife Tourism: The Use of Formalised Qualitative Models
по: Veselý Štěpán, и др.
Опубликовано: (2015-09-01)

Formalising and Verifying Reference Attribute Grammars in Coq.
по: Schäfer, M, и др.
Опубликовано: (2009)

Formalising attack trees to support economic analysis
по: Simpson, A, и др.
Опубликовано: (2022)

Formalising and Verifying Reference Attribute Grammars in Coq
по: Schäfer, M, и др.
Опубликовано: (2009)

Formalisation of partnering as a collaborative procurement method /
по: 206061 Chang, Siaw Hui, и др.
Опубликовано: (2009)

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

Formalising the pi-calculus using nominal logic
по: Jesper Bengtson, и др.
Опубликовано: (2009-06-01)

Formalising the Pathways to Life Using Assembly Spaces
по: Stuart M. Marshall, и др.
Опубликовано: (2022-06-01)

THE FORMALISATION OF ISLAMIC ATTIRE IN PADANG, WEST SUMATRA
по: Deny Hamdani
Опубликовано: (2009-06-01)

Dependently-Typed Formalisation of Typed Term Graphs
по: Wolfram Kahl
Опубликовано: (2011-02-01)

Vertrouwen, formalisering en prestaties in interorganisatorische relaties
по: Frans A. J. Van Den Bosch, и др.
Опубликовано: (2006-01-01)

Unique Solutions of Contractions, CCS, and their HOL Formalisation
по: Chun Tian, и др.
Опубликовано: (2018-08-01)

A formalised approach to designing sonification systems for network-security monitoring
по: Axon, L, и др.
Опубликовано: (2017)