9145 search results - page 1581 / 1829 » Description Logic Systems |
128
click to vote
ICCAD
2008
IEEE
16 years 27 days ago
2008
IEEE
— This paper presents a method for correct-by-construction microarchitectural pipelining that handles cyclic systems with dependencies between iterations. Our method combines pre...
123
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Many software security policies can be encoded as aspects that identify and guard security-relevant program operations. Bugs in these aspectually-implemented security policies oft...
126
click to vote
ICCSA
2009
Springer
15 years 10 months ago
2009
Springer
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
134
click to vote
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
137
click to vote
ICARIS
2009
Springer
15 years 10 months ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...