scholarly journals Commonsense Spatial Reasoning: an Informational Perspective

1970 ◽  
Vol 4 (2) ◽  
pp. 187-194
Author(s):  
Stefania Bandini ◽  
Gianluca Colombo ◽  
Alessandro Mosca ◽  
Matteo Palmonari
Keyword(s):  
Pervasive Computing ◽  
Information Sources ◽  
Spatial Reasoning ◽  
Formal Model ◽  
Mathematical Reasoning ◽  
Spatial Knowledge ◽  
Logical Framework ◽  
Computing Systems ◽  
Positive Meaning ◽  
High Level

Pervasive Computing systems are characterized by possibly mobile components distributed in the environment and are devoted to collect, process and manage information in order to support users in different kind of activities. High-level correlation of information in such context can be defined, exploiting a formal model arising from the spatial disposition of information sources, as a form of commonsense spatial reasoning. With respect to this model, a Hybrid Logic to formalize commonsense spatial reasoning in these context has been defined. Here, on the basis of relevant analogies among Pervasive Computing and human practice in handling spatial knowledge, we suggest to provide the term “commonsense” with a positive meaning, showing that our logical framework captures some features of non-mathematical reasoning when spatially qualified information is concerned. The focus on such features and the analogies mentioned above suggest to qualify our approach to (commonsense) spatial reasoning as an informational approach.

scholarly journals Commonsense Spatial Reasoning: an Informational Perspective

1970 ◽  
Vol 4 (2) ◽  
pp. 187-194
Author(s):  
Stefania Bandini ◽  
Gianluca Colombo ◽  
Alessandro Mosca ◽  
Matteo Palmonari
Keyword(s):  
Pervasive Computing ◽  
Information Sources ◽  
Spatial Reasoning ◽  
Formal Model ◽  
Mathematical Reasoning ◽  
Spatial Knowledge ◽  
Logical Framework ◽  
Computing Systems ◽  
Positive Meaning ◽  
High Level

Pervasive Computing systems are characterized by possibly mobile components distributed in the environment and are devoted to collect, process and manage information in order to support users in different kind of activities. High-level correlation of information in such context can be defined, exploiting a formal model arising from the spatial disposition of information sources, as a form of commonsense spatial reasoning. With respect to this model, a Hybrid Logic to formalize commonsense spatial reasoning in these context has been defined. Here, on the basis of relevant analogies among Pervasive Computing and human practice in handling spatial knowledge, we suggest to provide the term “commonsense” with a positive meaning, showing that our logical framework captures some features of non-mathematical reasoning when spatially qualified information is concerned. The focus on such features and the analogies mentioned above suggest to qualify our approach to (commonsense) spatial reasoning as an informational approach.

A Security Architecture Based on Trust Management for Pervasive Computing Systems

2005 ◽  
Author(s):  
Lalana Kagal ◽  
Jeffrey Undercoffer ◽  
Filip Perich ◽  
Anupam Joshi ◽  
Tim Finin
Keyword(s):  
Pervasive Computing ◽  
Trust Management ◽  
Security Architecture ◽  
Computing Systems

scholarly journals Enhanced Round-Robin Algorithm in the Cloud Computing Environment for Optimal Task Scheduling

Computers ◽  
2021 ◽  
Vol 10 (5) ◽  
pp. 63
Author(s):  
Fahd Alhaidari ◽  
Taghreed Zayed Balharith
Keyword(s):  
Cloud Computing ◽  
Task Scheduling ◽  
Critical Role ◽  
Turnaround Time ◽  
Round Robin ◽  
Computing Systems ◽  
Time Quantum ◽  
Dynamic Time ◽  
High Level ◽  
Level Performance

Recently, there has been significant growth in the popularity of cloud computing systems. One of the main issues in building cloud computing systems is task scheduling. It plays a critical role in achieving high-level performance and outstanding throughput by having the greatest benefit from the resources. Therefore, enhancing task scheduling algorithms will enhance the QoS, thus leading to more sustainability of cloud computing systems. This paper introduces a novel technique called the dynamic round-robin heuristic algorithm (DRRHA) by utilizing the round-robin algorithm and tuning its time quantum in a dynamic manner based on the mean of the time quantum. Moreover, we applied the remaining burst time of the task as a factor to decide the continuity of executing the task during the current round. The experimental results obtained using the CloudSim Plus tool showed that the DRRHA significantly outperformed the competition in terms of the average waiting time, turnaround time, and response time compared with several studied algorithms, including IRRVQ, dynamic time slice round-robin, improved RR, and SRDQ algorithms.

Maintaining professional competence in innovation organizations*

1998 ◽  
Vol 17 (1) ◽  
pp. 69-87
Author(s):  
Khalid Saeed
Keyword(s):  
Organizational Design ◽  
Professional Competence ◽  
Formal Model ◽  
Professional Services ◽  
Market Forces ◽  
Governance System ◽  
Environmental Support ◽  
Entry Points ◽  
Production Knowledge ◽  
High Level

Public organizations involved in planning and implementation of developmental activity, education, research and development, as well as private firms delivering professional services and operating in a rapidly changing socio-economic environment are often concerned mainly with innovation, problem-solving and learning rather than with the production of any tangible outputs. The income streams of such organizations also often stem from environmental support rather than from a sale of widgets. Sustaining developmental activity in part requires maintaining such organizations at a high level of productivity, which calls for special design considerations that this paper attempts to delineate. A formal model of the production, knowledge acquisition and governance functions of an innovation organization is developed and experimented with through computer simulation using the heuristical approach of system dynamics. The analysis suggests that professional competence in organizations may atrophy, eventually leading to their demise, due to the development of a governance system that is largely driven by manifest authority, unless a concerted effort is made to preserve collegial decision roles. In terms of organizational design, this translates into considering constituents other than those used normally for creating mechanistic and organic components of organizational structure. Since professional competence often emanates from collegial rather than manifest processes, an important aspect of the design is to sustain collegial roles. Since collegial roles are undefined, their maintenance calls for placing constraints on manifest roles with prolific expansion potential. A promising design constituent for sustaining an appropriate governance system for an innovation organization appears to be a chartering process that should create an organizational magna carta clearly stating the limitations of the manifest roles. Other possible entry points into the system, albeit external, include bringing in leadership perspectives and linking with market forces that should allow the curtailment of prolific expansion of manifest roles.

Ontology-based models in pervasive computing systems

2007 ◽  
Vol 22 (4) ◽  
pp. 315-347 ◽  
Author(s):  
JUAN YE ◽  
LORCAN COYLE ◽  
SIMON DOBSON ◽  
PADDY NIXON
Keyword(s):  
Pervasive Computing ◽  
Information Exchange ◽  
Next Generation ◽  
Computing Systems ◽  
Diverse Range ◽  
Shared Representations ◽  
Pervasive Systems ◽  
Structured Information ◽  
Compare And Contrast

AbstractPervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so sub-systems must agree on shared representations. Ontologies potentially provide a well-founded mechanism for the representation and exchange of such structured information. A number of ontologies have been developed specifically for use in pervasive computing, none of which appears to cover adequately the space of concerns applicable to application designers. We compare and contrast the most popular ontologies, evaluating them against the system challenges generally recognized within the pervasive computing community. We identify a number of deficiencies that must be addressed in order to apply the ontological techniques successfully to next-generation pervasive systems.

Modelling spatial reasoning systems with shape algebras and formal logic

1997 ◽  
Vol 11 (4) ◽  
pp. 273-285 ◽  
Author(s):  
Scott C. Chase
Keyword(s):  
Spatial Reasoning ◽  
Predicate Logic ◽  
Spatial Relations ◽  
Large Set ◽  
First Order ◽  
Reasoning Systems ◽  
Geometric Objects ◽  
Small Set ◽  
Definition Of ◽  
High Level

AbstractThe combination of the paradigms of shape algebras and predicate logic representations, used in a new method for describing designs, is presented. First-order predicate logic provides a natural, intuitive way of representing shapes and spatial relations in the development of complete computer systems for reasoning about designs. Shape algebraic formalisms have advantages over more traditional representations of geometric objects. Here we illustrate the definition of a large set of high-level design relations from a small set of simple structures and spatial relations, with examples from the domains of geographic information systems and architecture.

Sign in / Sign up

Export Citation Format

Share Document