3706 search results - page 493 / 742 » System Description: H-PILoT |
207
click to vote
AIM
2002
15 years 6 months ago
2002
The Infrastructure of modern society is controlled by software systems. These systems are vulnerable to attacks; several such attacks, launched by "recreation hackers" h...
201
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
188
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
A common method for constructing a function from a finite set of moments is to solve a constrained minimization problem. The idea is to find, among all functions with the given ...
180
Voted
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
169
click to vote
EDOC
2006
IEEE
16 years 22 days ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...