Sciweavers

3008 search results - page 390 / 602
» Independence in connected graphs
Sort
View
COMPSAC
2009
IEEE
15 years 10 months ago
Building an Enterprise Service Bus for Real-Time SOA: A Messaging Middleware Stack
Service-Oriented Architecture (SOA) has become the preferred methodology to build complex enterprise applications. Inside an enterprise, an Enterprise Service Bus (ESB) has emerged...
Luis Garcés-Erice
ICFEM
1998
Springer
15 years 10 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
ISSAC
1995
Springer
86views Mathematics» more  ISSAC 1995»
15 years 10 months ago
Programs for Applying Symmetries
In this paper the programs APPLYSYM, QUASILINPDE and DETRAFO are described which aim at the utilization of infinitesimal symmetries of differential equations. The purpose of QUA...
Thomas Wolf
ANTSW
2008
Springer
15 years 9 months ago
Autonomous Reconfiguration in a Self-assembling Multi-robot System
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
Rehan O'Grady, Anders Lyhne Christensen, Marco Dor...
LREC
2008
70views Education» more  LREC 2008»
15 years 8 months ago
Process Model for Composing High-quality Text Corpora
The Teko corpus composing model offers a decentralized, dynamic way of collecting high-quality text corpora for linguistic research. The resulting corpus consists of independent t...
Mikko Lounela