2483 search results - page 142 / 497 » A design framework to model retinas |
182
click to vote
SOSYM
2010
15 years 4 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
156
click to vote
HICSS
2006
IEEE
16 years 13 days ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
170
click to vote
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
135
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
d Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3 , Daniel Neider2 , and David R. Piegdon2 1 LSV, ENS Cachan, CNRS, 2 RWTH Aachen University, 3 ...
133
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...