2373 search results - page 35 / 475 » On the Theory of Structural Subtyping |
70
Voted
TCS
2008
14 years 9 months ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
70
Voted
ECIS
2001
14 years 11 months ago
2001
Using a knowledge-based theory of the firm within the larger framework of resource-based theory, this ongoing study examines how firm knowledge structures are disrupted under diff...
199
Voted
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
According to the taxonomy for agent activity, proposed by V. Parunak, a collaboration is an interaction between agents of a multi-agent system (MAS) whereby the agents explicitly ...
124
Voted
ICWS
2004
IEEE
14 years 11 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...