Sciweavers

2757 search results - page 188 / 552
» On separating systems
Sort
View
CAMP
2000
IEEE
15 years 9 months ago
A Distributed Architecture for Autonomous Navigation of Robots
The paper shows a distributed architecture for autonomous robot navigation. The architecture is based on three modules that are implemented on separate and interacting agents: the...
Vito Di Gesù, B. Lenzitti, Giosuè Lo...
TACAS
1999
Springer
81views Algorithms» more  TACAS 1999»
15 years 8 months ago
Process Algebra in PVS
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
Twan Basten, Jozef Hooman
EDBT
1998
ACM
119views Database» more  EDBT 1998»
15 years 8 months ago
A Logical Approach to Multidimensional Databases
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
Luca Cabibbo, Riccardo Torlone
ISN
1998
Springer
15 years 8 months ago
Business and Market Models of Brokerage in Network-Based Commerce
Enterprise models, based on the responsibilities and relationships underlying market activities, are used to provide a framework for representing and analysing the activity of bro...
Ros Strens, Mike Martin, John E. Dobson, Stephen P...
100
Voted
ICCAD
1994
IEEE
76views Hardware» more  ICCAD 1994»
15 years 8 months ago
Simultaneous functional-unit binding and floorplanning
As device feature size decreases, interconnection delay becomes the dominating factor of system performance. Thus it is important that accurate physical information is used during...
Yung-Ming Fang, D. F. Wong