4940 search results - page 362 / 988 » On the Complexity of Universal Programs |
154
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
—Orthogonal variable spreading factor (OVSF) codes are used in both universal terrestrial radio access–frequency division duplex (UTRA-FDD) and time division duplex (UTRA-TDD) ...
166
click to vote
APSEC
2003
IEEE
16 years 21 hour ago
2003
IEEE
Change requests are often formulated into concepts or features that a maintainer can understand. One of the main issues faced by a maintainer is to know and locate “where does t...
180
click to vote
ECWEB
2003
Springer
15 years 12 months ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...
179
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
151
click to vote
SIGUCCS
2000
ACM
15 years 11 months ago
2000
ACM
In order to keep on the leading edge of technology and to take advantage of new administrative features, we at University of Wyoming decided to upgrade our Windows NT 4.0 lab syst...