4708 search results - page 434 / 942 » Generating the Structure of Argument |
213
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—We address the issue of power-controlled shared channel access in future wireless networks supporting packetized data traffic, beyond the voice-oriented continuous traffic prima...
218
click to vote
CARDIS
2000
Springer
15 years 11 months ago
2000
Springer
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
153
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
150
click to vote
WIDM
1999
ACM
15 years 11 months ago
1999
ACM
In order to provide database-like features for files, particularly for searching in Web data, one solution is to migrate file data into a relational database. Having stored the da...
184
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...