3828 search results - page 205 / 766 » Proof-Based System Engineering Using a Virtual System Model |
153
click to vote
ECIS
2003
15 years 7 months ago
2003
The changing competitive landscape has brought new forces to bear on the manner in which new products are developed. These forces have put the creation and dissemination of knowle...
185
click to vote
MOBIDE
2006
ACM
16 years 13 days ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
167
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
194
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
149
click to vote
CN
2002
15 years 6 months ago
2002
In this paper we study several dimensions of web dynamics in the context of large-scale Internet search engines. Both growth and update dynamics clearly represent big challenges f...