3514 search results - page 185 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
144
Voted
ADAEUROPE
2001
Springer
15 years 7 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
116
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
148
click to vote
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
114
click to vote
HICSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...
112
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
In recent years, many principled probabilistic definitions for the determination of visual saliency have been proposed. Moreover, there has been increased focus on the role of con...