FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W583497131> ?p ?o ?g. }

• W583497131 abstract "Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that support many manufacturing and daily life activities. For instance, industrial robots detect the changes of the working environment in the factory to adapt their operations to the requirements. Automotive control systems may observe other vehicles, detect obstacles, and monitor the essence level or the air quality in order to warn the drivers in case of emergency. Another example is power-aware embedded systems that need to work based on current power/energy availability since power consumption is an important issue. Those kinds of systems can also be considered as smart applications. In practice, successful implementation and deployment of context-aware systems depend on the mechanism to recognize and react to variabilities happening in the environment. In other words, we need a well-defined and efficient adaptation approach so that the systems' behavior can be dynamically customized at runtime. Moreover, concurrency should be exploited to improve the performance and responsiveness of the systems. All those requirements, along with the need for safety, dependability, and reliability pose a big challenge for developers.In this thesis, we propose a novel programming language called INI, which supports both event-based and rule-based programming paradigms and is suitable for building concurrent and context-aware reactive applications. In our language, both events and rules can be defined explicitly, in a stand-alone way or in combination. Events in INI run in parallel (synchronously or asynchronously) in order to handle multiple tasks concurrently and may trigger the actions defined in rules. Besides, events can interact with the execution environment to adjust their behavior if necessary and respond to unpredictable changes. We apply INI in both academic and industrial case studies, namely an object tracking program running on the humanoid robot Nao and a M2M gateway. This demonstrates the soundness of our approach as well as INI's capabilities for constructing context-aware systems. Additionally, since context-aware programs are wide applicable and more complex than regular ones, this poses a higher demand for quality assurance with those kinds of applications. Therefore, we formalize several aspects of INI, including its type system and operational semantics. Furthermore, we develop a tool called INICheck, which can convert a significant subset of INI to Promela, the input modeling language of the model checker SPIN. Hence, SPIN can be applied to verify properties or constraints that need to be satisfied by INI programs. Our tool allows the programmers to have insurance on their code and its behavior." @default.
• W583497131 created "2016-06-24" @default.
• W583497131 creator A5062544775 @default.
• W583497131 date "2013-09-30" @default.
• W583497131 modified "2023-09-23" @default.
• W583497131 title "Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications" @default.
• W583497131 cites W1481403881 @default.
• W583497131 cites W1492944245 @default.
• W583497131 cites W1493557858 @default.
• W583497131 cites W1496007014 @default.
• W583497131 cites W1498432697 @default.
• W583497131 cites W1499540999 @default.
• W583497131 cites W1509114980 @default.
• W583497131 cites W1509843845 @default.
• W583497131 cites W1516307991 @default.
• W583497131 cites W1516823724 @default.
• W583497131 cites W1518754760 @default.
• W583497131 cites W1523147308 @default.
• W583497131 cites W1543426176 @default.
• W583497131 cites W1545256954 @default.
• W583497131 cites W1554605283 @default.
• W583497131 cites W1554607682 @default.
• W583497131 cites W1558856367 @default.
• W583497131 cites W1559035930 @default.
• W583497131 cites W1571143165 @default.
• W583497131 cites W1572988071 @default.
• W583497131 cites W1579693675 @default.
• W583497131 cites W175922506 @default.
• W583497131 cites W1834834760 @default.
• W583497131 cites W1857270521 @default.
• W583497131 cites W1907942343 @default.
• W583497131 cites W1964137226 @default.
• W583497131 cites W1965024948 @default.
• W583497131 cites W1965524656 @default.
• W583497131 cites W1967661515 @default.
• W583497131 cites W1983463887 @default.
• W583497131 cites W2002568360 @default.
• W583497131 cites W2003881653 @default.
• W583497131 cites W2007796528 @default.
• W583497131 cites W2007809070 @default.
• W583497131 cites W2015192390 @default.
• W583497131 cites W202212318 @default.
• W583497131 cites W2026140813 @default.
• W583497131 cites W2040329771 @default.
• W583497131 cites W2043694225 @default.
• W583497131 cites W2047899475 @default.
• W583497131 cites W2052679044 @default.
• W583497131 cites W2053300798 @default.
• W583497131 cites W2062972761 @default.
• W583497131 cites W2079671842 @default.
• W583497131 cites W2090764929 @default.
• W583497131 cites W2100738443 @default.
• W583497131 cites W2103442193 @default.
• W583497131 cites W2104902382 @default.
• W583497131 cites W2115309705 @default.
• W583497131 cites W2118229393 @default.
• W583497131 cites W2122316816 @default.
• W583497131 cites W2123124394 @default.
• W583497131 cites W2125208996 @default.
• W583497131 cites W2130747527 @default.
• W583497131 cites W2140637168 @default.
• W583497131 cites W2142372622 @default.
• W583497131 cites W2143524719 @default.
• W583497131 cites W2145705754 @default.
• W583497131 cites W2145919358 @default.
• W583497131 cites W2147049845 @default.
• W583497131 cites W2153822668 @default.
• W583497131 cites W2155815993 @default.
• W583497131 cites W2156062147 @default.
• W583497131 cites W2163419627 @default.
• W583497131 cites W2226952895 @default.
• W583497131 cites W2240437549 @default.
• W583497131 cites W2341162757 @default.
• W583497131 cites W2462423743 @default.
• W583497131 cites W2483919288 @default.
• W583497131 cites W2496618798 @default.
• W583497131 cites W2753176400 @default.
• W583497131 cites W2913459036 @default.
• W583497131 cites W2914193933 @default.
• W583497131 cites W2914260883 @default.
• W583497131 cites W2970275000 @default.
• W583497131 cites W43585184 @default.
• W583497131 cites W592481235 @default.
• W583497131 cites W603191687 @default.
• W583497131 cites W631730862 @default.
• W583497131 cites W632849813 @default.
• W583497131 cites W2187516810 @default.
• W583497131 cites W2612286736 @default.
• W583497131 hasPublicationYear "2013" @default.
• W583497131 type Work @default.
• W583497131 sameAs 583497131 @default.
• W583497131 citedByCount "0" @default.
• W583497131 crossrefType "dissertation" @default.
• W583497131 hasAuthorship W583497131A5062544775 @default.
• W583497131 hasConcept C105339364 @default.
• W583497131 hasConcept C115903868 @default.
• W583497131 hasConcept C120314980 @default.
• W583497131 hasConcept C120665830 @default.
• W583497131 hasConcept C121332964 @default.
• W583497131 hasConcept C127413603 @default.

• next