1527 search results - page 205 / 306 » From Requirements to Design: Formalizing the Key Steps |
WIKIS
2006
ACM
14 years 3 months ago
2006
ACM
Similarly to the Web Wikis have advanced from initially simple ad-hoc solutions to highly popular systems of widespread use. This evolution is reflected by the impressive number ...
CAD
1999
Springer
13 years 8 months ago
1999
Springer
This paper is concerned with the mathematics and formal specification of "set-like" operations for the mixed dimension cellular objects of the Djinn Application Programm...
BCB
2010
13 years 4 months ago
2010
Biclustering is a very popular method to identify hidden co-regulation patterns among genes. There are numerous biclustering algorithms designed to undertake this challenging task...
CLIMA
2011
12 years 9 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
DSD
2006
IEEE
14 years 24 days ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...