239 search results - page 19 / 48 » A unified constraint model for XML |
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
ICDE
2002
IEEE
14 years 8 months ago
2002
IEEE
Besides being adopted as the new interchange format for the Internet, XML is finding increasing acceptance as a native data repository language. In order to make XML repositories ...
ISCAS
2002
IEEE
14 years 12 days ago
2002
IEEE
A unified, closed form analytical drain current model for partially and fully depleted SOS MOSFETs was investigated. The analytical model was developed using first order principle...
ANOR
2002
13 years 7 months ago
2002
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...