4340 search results - page 592 / 868 » Formal Methods and Cryptography |
135
click to vote
CEC
2007
IEEE
16 years 28 days ago
2007
IEEE
— Hyper-heuristics or “heuristics that coordinate heuristics” are fastly becoming popular for solving combinatorial optimisation problems. These methods do not search directl...
152
click to vote
CSFW
2007
IEEE
16 years 28 days ago
2007
IEEE
We address the programmatic realization of the access control model of security in distributed systems. Our aim is e the gap between abstract/declarative policies and their concre...
184
click to vote
DASFAA
2007
IEEE
16 years 28 days ago
2007
IEEE
Similarity search in time series databases usually deals with comparing entire time series objects or subsequence search. In this paper, we formalize the notion of interval-focused...
159
click to vote
ICAC
2007
IEEE
16 years 28 days ago
2007
IEEE
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...
167
click to vote
ICDE
2007
IEEE
16 years 27 days ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...