338 search results - page 26 / 68 » A Language for Task Orchestration and Its Semantic Propertie... |
116
click to vote
OWLED
2008
15 years 1 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
113
click to vote
COOPIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...
112
Voted
LPNMR
1993
Springer
15 years 4 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
217
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
106
Voted
IAJIT
2008
15 years 14 days ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...