3828 search results - page 449 / 766 » Proof-Based System Engineering Using a Virtual System Model |
176
click to vote
ECMDAFA
2009
Springer
15 years 10 months ago
2009
Springer
Model-driven engineering techniques can be used both to create new software and to modernize existing software systems. Modeldriven software modernization requires a first step for...
168
click to vote
OOPSLA
2004
Springer
16 years 5 days ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
172
click to vote
ISCA
2010
IEEE
15 years 12 months ago
2010
IEEE
Light-weight, flexible access control, which allows software to regulate reads and writes to any granularity of memory region, can help improve the reliability of today’s multi...
195
click to vote
CIKM
2003
Springer
16 years 2 days ago
2003
Springer
Distributed heterogeneous search systems are an emerging phenomenon in Web search, in which independent topic-specific search engines provide search services, and metasearchers d...
281
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
Hardware cache behavior is an important factor in the performance of memory-resident, data-intensive systems such as XML filtering engines. A key data structure in several recent ...