4008 search results - page 305 / 802 » An expressive language of signatures |
162
click to vote
SEFM
2006
IEEE
16 years 22 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
194
click to vote
ECLIPSE
2006
ACM
16 years 21 days ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
195
click to vote
ICDE
2005
IEEE
16 years 10 days ago
2005
IEEE
¡ Several systems have recently been proposed for the evaluation of XPath expressions. However, none of these systems have demonstrated both scalability with large document sizes ...
197
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
196
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It es, ho...