1746 search results - page 272 / 350 » On the expressiveness of interaction |
173
click to vote
FMCO
2007
Springer
16 years 11 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
168
click to vote
FSEN
2007
Springer
16 years 11 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
152
click to vote
GECCO
2007
Springer
16 years 11 days ago
2007
Springer
The process of development creates a phenotype from one or more genotypes of an individual through interaction with an environment. The opportunity for development to choose a phe...
181
click to vote
ICDE
2006
IEEE
16 years 7 days ago
2006
IEEE
To realize the Semantic Web, it will be necessary to make existing database content available for emerging Semantic Web applications, such as web agents and services, which use on...
165
click to vote
SEW
2006
IEEE
16 years 6 days ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...