672 search results - page 104 / 135 » On the Expressive Power of the Loop Language |
133
click to vote
W2GIS
2007
Springer
15 years 8 months ago
2007
Springer
One of the challenges raised by the construction of the semantic Web lies in the analysis and management of complex relationships (thematic, spatial and temporal) connecting severa...
EXPDB
2006
ACM
15 years 8 months ago
2006
ACM
Current publish / subscribe systems offer a range of expressive subscription languages for constraints. However, classical systems restrict the publish operation to be a single p...
134
click to vote
CAISE
2001
Springer
15 years 6 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
NDSS
1999
IEEE
15 years 6 months ago
1999
IEEE
We describe a system for achieving PNNI (Private Network-Network Interface) Global Routing Infrastructure Protection (PGRIP). We give details of PGRIP's system-level design a...
102
click to vote
LOPSTR
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A concept of annotations for rendering procedural aspects of Prolog is presented, built around wellknown procedural concepts of Standard Prolog. Annotations describe prop...