Results 21 to 30 of about 1,135,516 (291)
Towards a Definition of Role-related Concepts for Business Modeling [PDF]
, 2010 —While several role-related concepts play an\ud important role in business modeling, their definitions,\ud relations, and use differ greatly between languages, papers,\ud and reports.
Iacob, M.E. +2 more
core +2 more sources
MathematicsCooperative multi-UAV clusters have been widely applied in complex mission scenarios due to their flexible task allocation and efficient real-time coordination capabilities.
Jing Ma +5 more
doaj +1 more source
Formal Modelling Approaches to Complexity Science in Roman Studies: A Manifesto
Theoretical Roman Archaeology Journal, 2019 Complexity science refers to the theoretical research perspectives and the formal modelling tools designed to study complex systems. A complex system consists of separate entities interacting following a set of (often simple) rules that collectively give
Dries Daems +15 more
doaj +2 more sources
, 2022 Abstract Advocates of deliberative democracy generally do not see much for formal models of political interaction. This is a mistake both historically and analytically. It reflects a common misunderstanding of formal models of collective choice and strategic interaction and their uses.
openaire +1 more source
Modeling and analyzing variability for mobile information systems [PDF]
, 2008 . Advances in size, power, and ubiquity of computing, sensors, and communication technology made possible the development of mobile or nomadic information systems.
Ali, Raian +2 more
core +2 more sources
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms
ComputersMutual exclusion is a fundamental problem in concurrent/parallel/distributed systems. The first pure-software solution to this problem for two processes, which is not based on hardware instructions like test-and-set, was proposed in 1965 by Th.J.
Libero Nigro +2 more
doaj +1 more source
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Development processes in various engineering disciplines are incorporating formal models to ensure safety properties of critical systems. The use of these formal models requires to reason about their adequacy, i.e., to validate that a model mirrors the ...
Eduard Kamburjan, Jonas Stromberg
doaj +1 more source
Judgment and Decision Making, 2011 The recognition heuristic assumes that people make inferences based on the output of recognition memory. While much work has been devoted to establishing the recognition heuristic as a viable description of how people make inferences, more work is needed
Tracy Tomlinson +5 more
doaj +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi +16 more
core +1 more source
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks
, 2013 Service-oriented sensor-actuator networks (SOSANETs) are deployed in health-critical applications like patient monitoring and have to fulfill strong safety requirements.
Glesner, Sabine, Gruhn, Helena
core +2 more sources