Sciweavers

3868 search results - page 251 / 774
» Open Systems in TLA
Sort
View
IADIS
2003
15 years 8 months ago
Towards an Optimal Routing Strategy
The key features of the principal interior routing protocols for large systems are considered and compared, and the major weaknesses of the open standards noted. A proposal is giv...
Vic Grout
WOODPECKER
2001
15 years 8 months ago
Writing ODP Enterprise Specifications in Maude
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibilit...
Francisco Durán, Antonio Vallecillo
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 7 months ago
From Digital Television to Internet?
This paper provides a general technical overview of the Multimedia Home Platform (MHP) specifications. MHP is a generic interface between digital applications and user machines, w...
Vita Hinze-Hoare
AAMAS
1998
Springer
15 years 7 months ago
A Roadmap of Agent Research and Development
This paper provides an overview of research and development activities in the field of autonomous agents and multi-agent systems. It aims to identify key concepts and applications...
Nicholas R. Jennings, Katia P. Sycara, Michael Woo...
SIAMDM
2010
128views more  SIAMDM 2010»
15 years 5 months ago
t-Perfection Is Always Strong for Claw-Free Graphs
A connected graph G is called t-perfect if its stable set polytope is determined by the non-negativity, edge and odd-cycle inequalities. Moreover, G is called strongly t-perfect i...
Henning Bruhn, Maya Stein