273 search results - page 43 / 55 » Constructions from Dots and Lines |
DSS
2008
13 years 8 months ago
2008
In this paper we consider a multi-agent system (MAS) for the logistics control of Automatic Guided Vehicles (AGVs) that are used in the dough making process at an industrial baker...
JSC
2008
13 years 7 months ago
2008
In this paper we study standard bases for submodules of K[[t1, . . . , tm]][x1, . . . , xn]s respectively of their localisation with respect to a t-local monomial ordering. The mai...
COMCOM
1999
13 years 7 months ago
1999
Asynchronous transfer mode (ATM) switches based on shared buffering are known to have better performance and buffer utilization than input or output queued switches. Shared buffer...
ISSRE
2010
IEEE
13 years 6 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...
AGP
2010
IEEE
13 years 5 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...