2483 search results - page 221 / 497 » A design framework to model retinas |
160
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...
176
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
206
click to vote
ADVIS
2006
Springer
16 years 17 days ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
240
click to vote
FPT
2005
IEEE
16 years 6 days ago
2005
IEEE
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
167
click to vote
ERLANG
2004
ACM
16 years 11 hour ago
2004
ACM
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...