3706 search results - page 247 / 742 » System Description: E-KRHyper |
105
Voted
CATA
2003
15 years 2 months ago
2003
In this paper we present a new method of combining multiple precedence constraints for a single task to support software systems having client-server relationships. In these types...
113
Voted
SIGCOMM
2010
ACM
15 years 29 days ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
92
Voted
IPM
2000
15 years 17 days ago
2000
In this paper, we present the system MULINEX, a fully implemented system which supports cross-lingual search of the WWW. Users can formulate, expand and disambiguate queries, filt...
108
click to vote
IFM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
102
click to vote
ISMVL
2007
IEEE
15 years 7 months ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...