Sciweavers

958 search results - page 52 / 192
» Using the UML for Architectural Description
Sort
View
FMOODS
2006
13 years 10 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
ROBOCUP
2000
Springer
101views Robotics» more  ROBOCUP 2000»
14 years 14 days ago
CMU Hammerheads Team Description
In this paper the hardware and software design of the CMU Hammerhead middle-size robot team are presented. The team consists of 4 fully autonomous robots with wireless communicatio...
Rosemary Emery, Tucker R. Balch, Rande Shern, Kevi...
ECOOPW
1997
Springer
14 years 1 months ago
Semantics Through Pictures
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
Stuart Kent, Ali Hamie, John Howse, Franco Civello...
ICRA
2007
IEEE
192views Robotics» more  ICRA 2007»
14 years 3 months ago
Control Architecture for Robot Cells to Enable Plug'n'Produce
- This paper deals with the concept of a control architecture for robot cells that enables Plug’n’Produce according to Plug’n’Play in the office world. To achieve this, a s...
Martin Naumann, Kai Wegener, Rolf Dieter Schraft
VLSID
2007
IEEE
153views VLSI» more  VLSID 2007»
14 years 9 months ago
Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
Zhaohui Fu, Sharad Malik