338 search results - page 12 / 68 » A Language for Task Orchestration and Its Semantic Propertie... |
89
Voted
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
107
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Rele...
125
click to vote
IRCDL
2007
15 years 1 months ago
2007
Abstract— In this paper we suggest a new approach to represent text document collections, integrating background knowledge to improve clustering effectiveness. Background knowled...
ICFP
1999
ACM
15 years 4 months ago
1999
ACM
Programs are often structured around the idea that different pieces of code comprise distinct principals, each with a view of its environment. Typical examples include the module...
102
Voted
CSFW
2004
IEEE
15 years 4 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...