Filters








468,984 Hits in 7.3 sec

The Effect of Information Technology on Fluidity of Contemporary Architectural Space

Shatha Abbas Hassan, Noor Ali Aljorani
2019 Wasit Journal of Engineering Sciences  
The research concludes that information technology achieves fluidity through various tools (communication systems, computers, automation, and artificial intelligence).  ...  Technology in all its forms has had a clear impact on all areas of daily life, and it has a clear impact on human thought in general, and the architectural space in particular, where the architecture moves  ...  New technology has caused a change in interaction with others and with the environment through the use of communication systems.  ... 
doi:10.31185/ejuow.vol7.iss1.115 fatcat:aod5wv4spbcevnco33hzdtwwzu

Learning from students: geodesign lessons from the regional design studio

David L. Tulloch
2013 Journal of Urbanism: International Research on Placemaking and Urban Sustainability  
., "Land Information Systems: Benefits of Community Applications," Portland State University, Portland, OR, April 2000.  ...  "The Wisconsin Approach: A State-Wide, Parcel-Based, Grass Roots Solution," in Digital Parcel Mapping: Standards and Strategies for New Jersey's Parcel Mapping Communities, K.  ... 
doi:10.1080/17549175.2013.765903 fatcat:owzxsvf66ngs5a42flrdf6t4jy

Computer-aided dispatch system family architecture and verification: an integrated formal approach

J. Sun, J.S. Dong, S. Jarzabek, H. Wang
2006 IEE Proceedings - Software  
With new additional proof rules for the TCOZ constructs, critical system properties specified in TCOZ architecture models can be formally verified by using state and event-based proof techniques [16] .  ...  Critical CAD system properties in the architecture models are formally verified by using the state and event-based proof techniques of the underlying specification language.  ...  We would also like to thank the numerous anonymous referees who have reviewed the manuscript and whose valuable comments have contributed to the clarification of many of the ideas presented in the paper  ... 
doi:10.1049/ip-sen:20050014 fatcat:f622jivcmrhljiqrd3o6ywyfxm

HiDDeN: Cooperative plan execution and repair for heterogeneous robots in dynamic environments

Thibault Gateau, Charles Lesire, Magali Barbier
2013 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems  
This paper presents HiDDeN, a high-level distributed architecture for multi-robot cooperation. HiDDeN aims at controlling a team of heterogeneous robots in environments with uncertain communications.  ...  This repair is made as local as possible, in order to avoid unnecessary communications between robots.  ...  They developed a distributed, hybrid and hierarchical architecture system in order to manage partial knowledge of states among the team [7] .  ... 
doi:10.1109/iros.2013.6697047 dblp:conf/iros/GateauLB13 fatcat:x4jcoe7iwzaepfghpjyhxyz2ky

Design of a Simulator for Mesh-Based Reconfigurable Architectures [chapter]

Kang Sun, Jun Zheng, Yuanyuan Li, Xuezeng Pan
2007 Lecture Notes in Computer Science  
This simulator can be used to evaluate reconfigurable system design, or demonstrate the ability of reconfigurable system in an educational environment.  ...  The purpose of this simulator is to provide a platform to evaluate new architectures, and to assist in analysis of algorithms as well as the visualization of their behavior.  ...  If P D i,j =IN i,j , it means that all the input data needed by PE A i,j are available and A i,j is in Ready state. Otherwise, if 0<P D i,j <IN i,j , A i,j will be in Waiting state.  ... 
doi:10.1007/978-3-540-74784-0_53 fatcat:2czyiuxddvgmhftmh6sj42r7ku

The Sociocultural Role of Architectural Types: Cultural Sustainability in Architecture and the Possibility of Convention

Zeynep Çiğdem Uysal Ürey
2019 Grid - architecture, planning and design journal  
This study looks at the issue of cultural sustainability in architecture from the perspective of architectural types and attempts to question the cognitive viability of using types in the creation of a  ...  Consequently, the study questions if the use of architectural types has a cognitive basis in the creation of a sustainable cultural milieu.  ...  Architectural Type as a Cultural Schema and Its Cognitive Use in Architectural Design: An Analysis of the Aga Khan Award Winning Dwellings in Turkey (1970Turkey ( -2008  ... 
doi:10.37246/grid.491782 fatcat:xdoamjj3jbeznmjpmc5zxpbld4

An object based algebra for specifying a fault tolerant software architecture

Nicola Dragoni, Mauro Gaspari
2005 The Journal of Logic and Algebraic Programming  
This formal specification can be used to show that several requirements of a software system are satisfied at the architectural level despite failures.  ...  We show how this extended algebra of actors can be successfully used to specify distributed software architectures.  ...  Acknowledgement The authors would like to thank Gianluigi Zavattaro for his contribution in the development and presentation of the algebra of actors.  ... 
doi:10.1016/j.jlap.2004.05.006 fatcat:plhhv7y26bd2hnjzqz6l45itnm

Knowledge Capture, Cross Boundary Communication and Early Validation with Dynamic A3 Architectures

Vickram Singh, Gerrit Muller
2013 INCOSE International Symposium  
We found that Dynamic A3 Architecture can ease internal and cross boundary communication, train new employees, facilitate knowledge capture, and share common understanding of the "system of interest".  ...  Most typical representations used by engineers to show the lube oil system are 3D drawings, and Piping and Instrumentation Diagrams (P&ID) (see Figure 2 ).  ...  The author of this paper is thankful for the essential feedback and support from KG2-3G development team and projects&engineering department in Dresser-Rand.  ... 
doi:10.1002/j.2334-5837.2013.tb03005.x fatcat:gidcmwkc2fffrmowi5igupjj7e

Communication architecture based power management for battery efficient system design

Kanishka Lahiri, Sujit Dey, Anand Raghunathan
2002 Proceedings - Design Automation Conference  
Communication-based power management (CBPM) is a new batterydriven system-level power management methodology in which the systemlevel communication architecture regulates the execution of various system  ...  In the next section, we provide background on batteries and system-level communication architectures. In Section 3, we present basic concepts of CBPM, and illustrate its benefits through an example.  ...  From a hardware perspective, the result is a system with a communication architecture enhanced with new battery aware communication protocols.  ... 
doi:10.1145/514093.514094 fatcat:sh4qvbz56bho5b4jfn6hwcewha

Communication architecture based power management for battery efficient system design

Kanishka Lahiri, Sujit Dey, Anand Raghunathan
2002 Proceedings - Design Automation Conference  
Communication-based power management (CBPM) is a new batterydriven system-level power management methodology in which the systemlevel communication architecture regulates the execution of various system  ...  In the next section, we provide background on batteries and system-level communication architectures. In Section 3, we present basic concepts of CBPM, and illustrate its benefits through an example.  ...  From a hardware perspective, the result is a system with a communication architecture enhanced with new battery aware communication protocols.  ... 
doi:10.1145/513918.514094 dblp:conf/dac/LahiriDR02 fatcat:lotl65rhong7jo3xejkinjxzxu

Communication architecture based power management for battery efficient system design

K. Lahiri, A. Raghunathan, S. Dey
2002 Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)  
Communication-based power management (CBPM) is a new batterydriven system-level power management methodology in which the systemlevel communication architecture regulates the execution of various system  ...  In the next section, we provide background on batteries and system-level communication architectures. In Section 3, we present basic concepts of CBPM, and illustrate its benefits through an example.  ...  From a hardware perspective, the result is a system with a communication architecture enhanced with new battery aware communication protocols.  ... 
doi:10.1109/dac.2002.1012713 fatcat:retqpvzmtfcb3hzbsr7q5v32qq

Native Process Migration in Wireless Sensor Networks

Syed Ishtiaq Hussain, Huma Javed, Tehseen Khan, Sara Shazad, Falak Naz Khalil
2015 International Journal of Distributed Sensor Networks  
This paper presents a novel architecture for native process migration (PM) in wireless sensor networks (WSNs) without the use of virtual execution environment.  ...  In addition, the proposed architecture is migrating with complete process instead of code only which also saves resources.  ...  The new location of process P is broadcast in WSN by the source node which enables all other nodes previously connected to P to close connections to process P.  ... 
doi:10.1155/2015/607143 fatcat:l4gfgq3cirghlcz2xdinxrpg44

A DISTRIBUTED CONTROL ARCHITECTURE FOR AUTONOMOUS ROBOT SYSTEMS [chapter]

Thomas Laengle, Tim C. Lueth, Ulrich Rembold
1995 Series in Machine Perception and Artificial Intelligence  
In this  ...  On the other hand, coordination between the components, for example path planning for collision avoidance between both manipulators in a two-arm-system, is very difficult to guarantee.  ...  If a new mission appears in the mission set, the communicator of an interested agent initiates a new process copy of the agent's head (state transition not existing to ready).  ... 
doi:10.1142/9789812797773_0023 fatcat:u6vcg4ukvbctroz3mzyrtny7qm

Refinement of Pipe-and-Filter Architectures [chapter]

Jan Philipps, Bernhard Rumpe
1999 Lecture Notes in Computer Science  
We demonstrate how a mathematically founded powerful refinement calculus for a class of architectures, namely pipe and filter architectures, can be used to modify a system in a provably correct way.  ...  Thus it allows us to build more complex and specific rules that e.g. embed models of existing architectures or define design patterns as transformation rules.  ...  Moreover, the simpler description techniques used in hardware design and the nite-state nature of such systems open the door to automatic veri cation of the re nement rule premises. 1 . 1 to describe communication  ... 
doi:10.1007/3-540-48119-2_8 fatcat:yn6eovprabe33htbpnd3nh52gm

Context-Bounded Analysis of Concurrent Queue Systems [chapter]

Salvatore La Torre, P. Madhusudan, Gennaro Parlato
2008 Lecture Notes in Computer Science  
We show that the bounded context-switching reachability problem for concurrent finite systems communicating using unbounded FIFO queues is decidable, where in each context a process reads from only one  ...  We then proceed to classify architectures that admit a decidable (unbounded context switching) reachability problem, using the decidability of bounded context switching.  ...  Two recent papers give us hope: in [18] , the authors addressed the reachability problem for asynchronous programs communicating via unbounded bags of messages using counter systems, and a year later,  ... 
doi:10.1007/978-3-540-78800-3_21 fatcat:7sa3ijlzqvft5ltank3szok7be
« Previous Showing results 1 — 15 out of 468,984 results