2519 search results - page 120 / 504 » MASUP: An Agent-Oriented Modeling Process for Information Sy... |
162
click to vote
DFT
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a system to evaluate the testability of an on-line testable circuit. The system operates at the RT-level, before the logic synthesis step, and allows for an ex...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
198
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Over the last decade the cost of producing genomic sequences has dropped dramatically due to the current so called “next-gen” sequencing methods. However, these next-gen seque...
206
click to vote
IJCAT
2010
15 years 5 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
162
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
We outline a procedure called communicative and material functions analysis that can be used to derive business modeling concepts. It is rooted in the language-action perspective o...