Search results for "formal statement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Victoria Ungureanu, F. Vesuna, Naftaly H. Minsky	A Policy-based Access Control Mechanism for the Corporate Web.	ACSAC	2000	DBLP DOI BibTeX RDF	policy-based access control mechanism, corporate Web, security problems, management problems, corporate intranet, formal statement, policy engines, business data processing, authorisation, intranets, intranets, access control lists
1	Hwai-Jung Hsu, Feng-Jian Wang	Using Artifact Flow Diagrams to Model Artifact Usage Anomalies.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John McLean	Applying Formal Methods to a Certifiably Secure Software System.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	security, verification, Formal methods, Specification, Software, tools, software verification, security kernels
1	Arash Abadpour, Attahiru Sule Alfa, J. Diamond	Video-on-Demand Network Design and Maintenance Using Fuzzy Optimization.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2008	DBLP DOI BibTeX RDF
1	Lucian Busoniu, Robert Babuska, Bart De Schutter	A Comprehensive Survey of Multiagent Reinforcement Learning.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2008	DBLP DOI BibTeX RDF
1	Fosca Giannotti, Mirco Nanni, Fabio Pinelli, Dino Pedreschi	Trajectory pattern mining.	KDD	2007	DBLP DOI BibTeX RDF	trajectory patterns, spatio-temporal data mining
1	Aristides Gionis, Heikki Mannila, Panayiotis Tsaparas	Clustering aggregation.	TKDD	2007	DBLP DOI BibTeX RDF	clustering aggregation, clustering categorical data, Data clustering, correlation clustering
1	Qiang Tang, Kim-Kwang Raymond Choo	Secure Password-Based Authenticated Group Key Agreement for Data-Sharing Peer-to-Peer Networks.	ACNS	2006	DBLP DOI BibTeX RDF	provable security, key agreement, P2P network, CAPTCHA
1	Matthew J. Rummel, Gregory M. Kapfhammer, Andrew Thall	Towards the prioritization of regression test suites with data flow information.	SAC	2005	DBLP DOI BibTeX RDF
1	Aristides Gionis, Heikki Mannila, Panayiotis Tsaparas	Clustering Aggregation.	ICDE	2005	DBLP DOI BibTeX RDF
1	Surajit Chaudhuri, Mayur Datar, Vivek R. Narasayya	Index Selection for Databases: A Hardness Study and a Principled Heuristic Solution.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	Index selection, hardness result, scalability, linear programming, approximation, NP-hardness, knapsack
1	Margaret H. Smith, Gerard J. Holzmann, Kousha Etessami	Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF	model checking, testing, requirements, software verification
1	Jonathan S. Shapiro, Sam Weber	Verifying the EROS Confinement Mechanism. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF	capability systems, verification, formal specification, operating systems, confinement, proof of correctness
1	Giampaolo Bella	Lack of Explicitness Strikes Back (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
1	Lewis E. Hitchner, Steve Cunningham, Scott B. Grissom, Rosalee Wolfe	Computer graphics: the introductory course grows up.	SIGCSE	1999	DBLP DOI BibTeX RDF	computer graphics, curriculum
1	Primo Zingaretti, Massimiliano Gasparroni, Lorenzo Vecci	Fast Chain Coding of Region Boundaries.	IEEE Trans. Pattern Anal. Mach. Intell.	1998	DBLP DOI BibTeX RDF	multivalued images, image processing, image coding, shape analysis, Boundary representations, chain coding, run-length coding
1	Burghard von Karger	A Proof Rule for Control Loops.	MPC	1998	DBLP BibTeX RDF
1	Hal Berenson, Philip A. Bernstein, Jim Gray, Jim Melton, Elizabeth J. O'Neil, Patrick E. O'Neil	A Critique of ANSI SQL Isolation Levels.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF	SQL
1	Rémi Ronfard	Region-based strategies for active contour models.	International Journal of Computer Vision	1994	DBLP DOI BibTeX RDF
1	Soma Chaudhuri, Brian A. Coan, Jennifer L. Welch	Using Adaptive Timeouts to Achive At-Most-Once Message Delivery.	WDAG	1991	DBLP DOI BibTeX RDF
1	Jerry L. Prince, Alan S. Willsky	Reconstructing Convex Sets from Support Line Measurements.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	multiframe estimation, frequency domain algorithm, multiframe detection, dim targets, fast Fourier transforms, fast Fourier transforms, computerised picture processing, computerised picture processing, filtering and prediction theory, imaging sensors, detection probabilities, tracking systems, directional filtering, trajectories estimation, moving targets
1	John D. McLean, Carl E. Landwehr, Constance L. Heitmeyer	A Formal Statement of the MMS Security Model.	IEEE Symposium on Security and Privacy	1984	DBLP BibTeX RDF