4036 search results - page 568 / 808 » Formal Methods |
150
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 27 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...
174
click to vote
ICRA
2007
IEEE
16 years 27 days ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...