Sciweavers

222 search results - page 7 / 45
» Discounting the Future in Systems Theory
Sort
View
POPL
2008
ACM
15 years 10 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani
PIMRC
2008
IEEE
15 years 4 months ago
The limits of theory: Pragmatic challenges in mobile ad hoc systems
—The development of mobile ad hoc systems have considerably emphasized the need for a better understanding of the factors that influence the systems’ performance, i.e., mobili...
Franck Legendre, Martin May, Vincent Lenders, Gunn...
HICSS
2003
IEEE
94views Biometrics» more  HICSS 2003»
15 years 3 months ago
A Theory and Measurement of Meeting Satisfaction
For many years, meeting satisfaction has been a key outcome variable in experimental Group Support Systems (GSS) research. GSS research results on meeting satisfaction are conflic...
Robert O. Briggs, Gert-Jan de Vreede, Bruce A. Rei...
AIME
2003
Springer
15 years 3 months ago
Ontology for Task-Based Clinical Guidelines and the Theory of Granular Partitions
The theory of granular partitions (TGP) is a new approach to the understanding of ontologies and other classificatory systems. The paper explores the use of this new theory in the ...
Anand Kumar, Barry Smith
ILP
2000
Springer
15 years 1 months ago
Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
Floriana Esposito, Donato Malerba, Francesca A. Li...