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

书目详细资料
Main Authors:	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, et al.
出版: (2011)

Entailment : the formalisation of inference
由: Copeland, BJ
出版: (1978)

Formalisations and Applications of BPMN
由: Wong, P, et al.
出版: (2011)

Formalisation of the component specification
由: Vaidas Giedrimas, et al.
出版: (2004-12-01)

A formalisation of XMAS
由: Bernard van Gastel, et al.
出版: (2013-04-01)

Formalising Confluence in PVS
由: Mauricio Ayala-Rincón
出版: (2016-03-01)

Relative Monads Formalised
由: Thorsten Altenkirch, et al.
出版: (2014-07-01)

Formalising the Continuous/Discrete Modeling Step
由: Wen Su, et al.
出版: (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, et al.
出版: (2022-01-01)

A top-level model of case-based argumentation for explanation: Formalisation and experiments
由: Henry Prakken, et al.
出版: (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, et al.
出版: (2009)

On formalising and normalising role−based access control systems
由: Power, D, et al.
出版: (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, et al.
出版: (2003)

The formalisation and transformation of access control policies
由: Slaymaker, M, et al.
出版: (2011)

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

Formalising Sensor Topologies for Target Counting
由: Sven Linker, et al.
出版: (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, et al.
出版: (2001-12-01)

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

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

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

Formalising attack trees to support economic analysis
由: Simpson, A, et al.
出版: (2022)

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

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

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

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

Formalising the Pathways to Life Using Assembly Spaces
由: Stuart M. Marshall, et al.
出版: (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, et al.
出版: (2006-01-01)

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

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