1999 search results - page 202 / 400 » Dependently Typed Grammars |
189
click to vote
SACMAT
2005
ACM
16 years 1 days ago
2005
ACM
Integration of version and access control of XML documents has the benefit of regulating access to rapidly growing archives of XML documents. Versioned XML documents provide us w...
151
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Current mechanisms for evaluating the trustworthiness of an agent within an electronic marketplace depend either on using a history of interactions or on recommendations from othe...
171
click to vote
BIRTHDAY
2005
Springer
16 years 1 days ago
2005
Springer
The “classical” approach to represent Petri nets by graph transformation systems is to translate each transition of a specific Petri net to a graph rule (behavior rule). This ...
168
click to vote
ICALP
2005
Springer
16 years 7 hour ago
2005
Springer
Filtering is a standard technique for fast approximate string matching in practice. In filtering, a quick first step is used to rule out almost all positions of a text as possib...
190
click to vote
ASWSD
2004
Springer
15 years 12 months ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...