Sciweavers

536 search results - page 55 / 108
» Reusing Models of Different Abstraction Levels
Sort
View
VLSID
2006
IEEE
192views VLSI» more  VLSID 2006»
15 years 4 months ago
Beyond RTL: Advanced Digital System Design
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
Shiv Tasker, Rishiyur S. Nikhil
SELMAS
2004
Springer
15 years 3 months ago
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment
Abstract. This paper presents an agent-oriented modelling language and environment CAMLE. It is based on the conceptual model of multi-agent systems (MAS) proposed and formally def...
Lijun Shan, Hong Zhu
FSTTCS
2009
Springer
15 years 4 months ago
Simulation based security in the applied pi calculus
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
Stéphanie Delaune, Steve Kremer, Olivier Pe...
DEXA
2004
Springer
70views Database» more  DEXA 2004»
15 years 3 months ago
How to Model Visual Knowledge: A Study of Expertise in Oil-Reservoir Evaluation
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...
Mara Abel, Laura S. Mastella, Luís A. Lima ...
70
Voted
ICPR
2002
IEEE
15 years 11 months ago
Hierarchical Monitoring of People's Behaviors in Complex Environments Using Multiple Cameras
We present a distributed, surveillance system that works in large and complex indoor environments. To track and recognize behaviors of people, we propose the use of the Hidden Mar...
Nam Thanh Nguyen, Svetha Venkatesh, Geoff A. W. We...