Sciweavers

1933 search results - page 211 / 387
» A Dynamic Theory of Ontology
Sort
View
ESOP
2007
Springer
14 years 3 months ago
Structured Communication-Centred Programming for Web Services
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
Marco Carbone, Kohei Honda, Nobuko Yoshida
COMPGEOM
2006
ACM
14 years 3 months ago
Minimum weight triangulation is NP-hard
A triangulation of a planar point set S is a maximal plane straight-line graph with vertex set S. In the minimum weight triangulation (MWT) problem, we are looking for a triangula...
Wolfgang Mulzer, Günter Rote
HT
2004
ACM
14 years 2 months ago
Managing conflict in multi-model adaptive hypertext
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
Luis Francisco-Revilla, Frank M. Shipman III
DEON
2010
Springer
14 years 2 months ago
Relevance, Derogation and Permission
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
Audun Stolpe
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
14 years 1 months ago
Congestion control algorithms from optimal control perspective
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
Javad Lavaei, John C. Doyle, Steven H. Low