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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Walton, R, De Roure, D
Định dạng:	Conference item
Được phát hành:	Association for Computing Machinery 2019

Những quyển sách tương tự

Business rules formalisation for information systems
Bằng: Ivana Rábová
Được phát hành: (2010-01-01)

Formalisations and applications of BPMN
Bằng: Wong, P, et al.
Được phát hành: (2011)

Entailment : the formalisation of inference
Bằng: Copeland, BJ
Được phát hành: (1978)

Formalisations and Applications of BPMN
Bằng: Wong, P, et al.
Được phát hành: (2011)

Formalisation of the component specification
Bằng: Vaidas Giedrimas, et al.
Được phát hành: (2004-12-01)

A formalisation of XMAS
Bằng: Bernard van Gastel, et al.
Được phát hành: (2013-04-01)

Formalising Confluence in PVS
Bằng: Mauricio Ayala-Rincón
Được phát hành: (2016-03-01)

Relative Monads Formalised
Bằng: Thorsten Altenkirch, et al.
Được phát hành: (2014-07-01)

Formalising the Continuous/Discrete Modeling Step
Bằng: Wen Su, et al.
Được phát hành: (2011-06-01)

La formalisation du discours savant La formalisation du discours savant
Bằng: Jean-Claude Gardin
Được phát hành: (1999-11-01)

The role of formalised and non-formalised intentions in legal parent-child relationships in Dutch law
Bằng: Machteld Vonk
Được phát hành: (2008-06-01)

Formalisations and applications of business process modelling notation
Bằng: Wong, P
Được phát hành: (2011)

Formalisations and Applications of Business Process Modelling Notation
Bằng: Wong, P
Được phát hành: (2008)

Abstracting and formalising the design co-evolution model
Bằng: John S. Gero, et al.
Được phát hành: (2022-01-01)

A top-level model of case-based argumentation for explanation: Formalisation and experiments
Bằng: Henry Prakken, et al.
Được phát hành: (2022-06-01)

Organisation management tasks formalisation
Bằng: A. V. Raychenko
Được phát hành: (2022-07-01)

Formalisation as a judicial claim
Bằng: Lorena Poblete
Được phát hành: (2020-06-01)

On formalising and normalising role−based access control systems
Bằng: Slaymaker, D, et al.
Được phát hành: (2009)

On formalising and normalising role−based access control systems
Bằng: Power, D, et al.
Được phát hành: (2007)

A Formalised Framework for Incremental Modelling of On−Chip Communication
Bằng: Böhm, P
Được phát hành: (2010)

The attacker in ubiquitous computing environments: formalising the threat model
Bằng: Roscoe, A, et al.
Được phát hành: (2003)

The formalisation and transformation of access control policies
Bằng: Slaymaker, M, et al.
Được phát hành: (2011)

Formalisation of the sofware component ontology specification
Bằng: Lina Bagušytė, et al.
Được phát hành: (2005-12-01)

Formalising Sensor Topologies for Target Counting
Bằng: Sven Linker, et al.
Được phát hành: (2018-02-01)

Formalising the informal through legal practice. The case of prostitution in authoritarian Tunisia
Bằng: Maaike Voorhoeve
Được phát hành: (2018-12-01)

Formalisation of the knowledge used in design of software, information and business systems
Bằng: Albertas Čaplinskas, et al.
Được phát hành: (2001-12-01)

A formalisation and prototype implementation of argumentation for statistical model selection
Bằng: Isabel Sassoon, et al.
Được phát hành: (2018-12-01)

Environmental Consequences of Wildlife Tourism: The Use of Formalised Qualitative Models
Bằng: Veselý Štěpán, et al.
Được phát hành: (2015-09-01)

Formalising and Verifying Reference Attribute Grammars in Coq.
Bằng: Schäfer, M, et al.
Được phát hành: (2009)

Formalising attack trees to support economic analysis
Bằng: Simpson, A, et al.
Được phát hành: (2022)

Formalising and Verifying Reference Attribute Grammars in Coq
Bằng: Schäfer, M, et al.
Được phát hành: (2009)

Formalisation of partnering as a collaborative procurement method /
Bằng: 206061 Chang, Siaw Hui, et al.
Được phát hành: (2009)

Formalisation of partnering as a collaborative procurement method
Bằng: 206061 Chang, Siaw Hui

Formalising the pi-calculus using nominal logic
Bằng: Jesper Bengtson, et al.
Được phát hành: (2009-06-01)

Formalising the Pathways to Life Using Assembly Spaces
Bằng: Stuart M. Marshall, et al.
Được phát hành: (2022-06-01)

THE FORMALISATION OF ISLAMIC ATTIRE IN PADANG, WEST SUMATRA
Bằng: Deny Hamdani
Được phát hành: (2009-06-01)

Dependently-Typed Formalisation of Typed Term Graphs
Bằng: Wolfram Kahl
Được phát hành: (2011-02-01)

Vertrouwen, formalisering en prestaties in interorganisatorische relaties
Bằng: Frans A. J. Van Den Bosch, et al.
Được phát hành: (2006-01-01)

Unique Solutions of Contractions, CCS, and their HOL Formalisation
Bằng: Chun Tian, et al.
Được phát hành: (2018-08-01)

A formalised approach to designing sonification systems for network-security monitoring
Bằng: Axon, L, et al.
Được phát hành: (2017)