4126 search results - page 629 / 826 » Relationships with other Formalisms |
162
click to vote
ECBS
2005
IEEE
16 years 3 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
158
click to vote
HPDC
2005
IEEE
16 years 3 days ago
2005
IEEE
Firewalls and network address translators (NATs) cause significant connectivity problems along with benefits such as network protection and easy address planning. Connectivity pro...
160
click to vote
ICDAR
2005
IEEE
16 years 3 days ago
2005
IEEE
Printing and scanning of text documents introduces degradations to the characters which can be modeled. Interestingly, certain combinations of the parameters that govern the degra...
139
click to vote
IDEAS
2005
IEEE
16 years 2 days ago
2005
IEEE
The modern XML query language called XQuery includes advanced facilities both to query and to transform XML data. An XQuery query optimizer should be able to optimize any query. F...
139
click to vote
INFOCOM
2005
IEEE
16 years 2 days ago
2005
IEEE
Trust negotiation is a process that establishes mutual trust by the exchange of digital credentials and/or guiding policies among entities who may have no pre-existing knowledge a...