3513 search results - page 371 / 703 » Super Logic Programs |
133
Voted
AUTOMATICA
1999
15 years 3 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
161
Voted
JLP
2011
14 years 10 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
126
Voted
AUIC
2000
IEEE
15 years 8 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
146
Voted
AOSD
2008
ACM
15 years 5 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
123
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...