1109 search results - page 69 / 222 » Chirikov standard map |
WWW
2007
ACM
14 years 8 months ago
2007
ACM
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
ICNS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents SLA monitoring and management framework for telecommunication services. The basic requirements of this class of systems are specified and verified in context o...
ACSD
2007
IEEE
14 years 2 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—ENUM is a DNS-based protocol standard for mapping E.164 telephone numbers to Internet Uniform Resource Identifiers (URIs). It places unique requirements on the existing...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
The Simple Query Interface (SQI) is a query transport standard that is becoming widely used within the e-learning community. Thanks to a common WSDL binding, SQI-compliant reposito...