1922 search results - page 318 / 385 » Systems biology, models, and concurrency |
111
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
116
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
112
Voted
BTW
2003
Springer
15 years 6 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
97
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
101
Voted
LREC
2010
15 years 2 months ago
2010
Ontology population from text is becoming increasingly important for NLP applications. Ontologies in OWL format provide for a standardized means of modeling, querying, and reasoni...