Sciweavers

4212 search results - page 103 / 843
» Rights Expression Languages
Sort
View
ER
2007
Springer
100views Database» more  ER 2007»
16 years 14 days ago
On Languages for the Specification of Integrity Constraints in Spatial Conceptual Models
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
Mehrdad Salehi, Yvan Bédard, Mir Abolfazl M...
ATAL
2005
Springer
15 years 12 months ago
IOM/T: an interaction description language for multi-agent systems
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
Takuo Doi, Yasuyuki Tahara, Shinichi Honiden
ECSQARU
1997
Springer
15 years 10 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
JFP
2006
91views more  JFP 2006»
15 years 6 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary
KONVENS
1992
15 years 10 months ago
Flexible Semantics Communication in Integrated Speech / Language Architectures
: We consider communication between modules in an integrated architecture for Speech and Natural Language (NL), in particular the communication with the semantics module. In an int...
Abdel Kader Diagne, John Nerbonne