منابع مشابه
The Declarative Language STR (State Transition Rule)
The declarative language STR (State Transition Rule) is proposed to describe service specifications and programs. Given that telecommunication service specifications can be represented in the form of a state transition diagram, STR describes conditions for state transitions in the form of a production rule. STR specifications, description examples, categories of feature interactions, examples o...
متن کاملState Transition Based Supervisory Control for a Robot Soccer System
Distributed robot control systems consist of mechanical systems powered by actuators that are under the control of computer systems that rely on sensor input, such as vision, touch and torque sensing. Often these systems are installed in production processes in which they must cooperate and collaborate with both humans and other robotic systems. This complexity requires a framework in which the...
متن کاملT OY: A Multiparadigm Declarative System
T OY is the concrete implementation of CRWL, a wide theoretical framework for declarative programming whose basis is a constructor based rewriting logic with lazy non-deterministic functions as the core notion. Other aspects of CRWL supported by T OY are: polymorphic types; HO features; equality and disequality constraints over terms and linear constraints over real numbers; goal solving by nee...
متن کاملSQCK: A Declarative File System Checker
The lowly state of the art for file system checking and repair does not match what is needed to keep important data available for users. Current file system checkers, such as e2fsck, are complex pieces of imperfect code written in low-level languages. We introduce SQCK, a file system checker based on a declarative query language; declarative queries are a natural match for the cross-checking th...
متن کاملA Declarative Query Processing System for Nowcasting
Nowcasting is the practice of using social media data to quantify ongoing real-world phenomena. It has been used by researchers to measure flu activity, unemployment behavior, and more. However, the typical nowcasting workflow requires either slow and tedious manual searching of relevant social media messages or automated statistical approaches that are prone to spurious and low-quality results...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1991
ISSN: 0743-1066
DOI: 10.1016/0743-1066(91)90005-a