Sciweavers

11462 search results - page 1989 / 2293
» Developing Application-Centric Methods
Sort
View
TDSC
2008
152views more  TDSC 2008»
15 years 6 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
TELSYS
2008
99views more  TELSYS 2008»
15 years 6 months ago
Mote-based underwater sensor networks: opportunities, challenges, and guidelines
Most underwater networks rely on expensive specialized hardware for acoustic communication and modulation. This has impeded wide scale deployments of underwater sensor networks and...
Raja Jurdak, Antonio G. Ruzzelli, Gregory M. P. O'...
BMCBI
2005
63views more  BMCBI 2005»
15 years 6 months ago
Individual sequences in large sets of gene sequences may be distinguished efficiently by combinations of shared sub-sequences
Background: Most current DNA diagnostic tests for identifying organisms use specific oligonucleotide probes that are complementary in sequence to, and hence only hybridise with th...
Mark J. Gibbs, John S. Armstrong, Adrian J. Gibbs
JBI
2007
122views Bioinformatics» more  JBI 2007»
15 years 6 months ago
A framework for information system usage in collaborative care
Clinical information systems (CIS) can affect the quality of patient care. In this paper, we focus on CIS use in the collaborative treatment of chronic diseases. We have develope...
David A. Dorr, Spencer S. Jones, Adam B. Wilcox
TKDE
2008
162views more  TKDE 2008»
15 years 6 months ago
Continuous k-Means Monitoring over Moving Objects
Given a dataset P, a k-means query returns k points in space (called centers), such that the average squared distance between each point in P and its nearest center is minimized. S...
Zhenjie Zhang, Yin Yang, Anthony K. H. Tung, Dimit...
« Prev « First page 1989 / 2293 Last » Next »