12551 search results - page 294 / 2511 » Reuse in Systems Engineering |
183
click to vote
EUROCAST
1994
Springer
15 years 10 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
180
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
This paper presents an approach to exploit widely used tag annotations to address two important issues in user-adaptive systems: the cold-start problem and the integration of distr...
164
click to vote
FROCOS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
171
click to vote
FPL
2004
Springer
16 years 2 days ago
2004
Springer
—This paper presents a methodology and a tool for automatic synthesis of highly efficient intrusion detection systems using a high-level, graph-based partitioning methodology and...
148
click to vote
MSE
2003
IEEE
15 years 12 months ago
2003
IEEE
As SoC (System-on-a-chip) methodology emerges, IP (Intellectual Property) development and integration will play a major role in the hightech industry. To prepare for this future t...