2210 search results - page 404 / 442 » Applying a Model-based Approach for Embedded System Developm... |
133
Voted
AOSD
2009
ACM
15 years 9 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
124
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: Reverse-engineering regulatory networks is one of the central challenges for computational biology. Many techniques have been developed to accomplish this by utilizing...
126
click to vote
ESORICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Correlating security alerts and discovering attack strategies are important and challenging tasks for security analysts. Recently, there have been several proposed techni...
130
Voted
RV
2010
Springer
15 years 18 days ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
144
Voted
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
Web Mining Systems exploit the redundancy of data published on the Web to automatically extract information from existing web documents. The first step in the Information Extract...