Sciweavers

4635 search results - page 366 / 927
» Modeling Design Knowledge on Structure
Sort
View
SDL
2003
147views Hardware» more  SDL 2003»
15 years 6 months ago
Modelling and Evaluation of a Network on Chip Architecture Using SDL
Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication. ...
Rickard Holsmark, Magnus Högberg, Shashi Kuma...
ISORC
1999
IEEE
15 years 9 months ago
v-Promela: A Visual, Object-Oriented Language for SPIN
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Stefan Leue, Gerard J. Holzmann
CGI
2004
IEEE
15 years 8 months ago
Comparing CAVE, Wall, and Desktop Displays for Navigation and Wayfinding in Complex 3D Models
Computer-aided design (CAD) and 3D visualization techniques are at the heart of many engineering processes such as aircraft, ship, and automobile design. These visualization tasks...
Colin Swindells, Barry A. Po, Ima Hajshirmohammadi...
CSIE
2009
IEEE
15 years 11 months ago
Discriminative Random Fields for Behavior Modeling
This paper proposed an approach of human behavior modeling based on Discriminative Random Fields. In this model, by introducing the hidden behavior feature functions and time wind...
Tianyu Huang, Chongde Shi, Fengxia Li
AGENTS
2001
Springer
15 years 9 months ago
Improving the agent-oriented modeling process by roles
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...