10072 search results - page 21 / 2015 » Composition of Model Programs |
125
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. Since Web services have been enhanced with formal semantic descriptio...
123
click to vote
SMI
2008
IEEE
15 years 8 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
101
click to vote
UIST
2000
ACM
15 years 6 months ago
2000
ACM
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and i...
COORDINATION
2007
Springer
15 years 8 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
124
click to vote
PLILP
1998
Springer
15 years 6 months ago
1998
Springer
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...