883 search results - page 176 / 177 » The Semantics of Verilog Using Transition System Combinators |
SOFTWARE
2002
13 years 6 months ago
2002
We consider the problem of characterisation of sequences of heterogeneous symbolic data that arise from a common underlying temporal pattern. The data, which are subject to impreci...
KDD
2005
ACM
14 years 7 months ago
2005
ACM
In this paper, we propose a new way to automatically model and predict human behavior of receiving and disseminating information by analyzing the contact and content of personal c...
CSFW
2009
IEEE
14 years 1 months ago
2009
IEEE
—As networked systems grow in complexity, they are increasingly vulnerable to denial-of-service (DoS) attacks involving resource exhaustion. A single malicious input of coma can ...
DEXAW
2008
IEEE
14 years 1 months ago
2008
IEEE
— One of the critical issues in search engines is the size of search indexes: as the number of documents handled by an engine increases, the search must preserve its efficiency,...
EUROMICRO
2003
IEEE
14 years 7 days ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...