3011 search results - page 261 / 603 » Generating XML Based Specifications of Information Systems |
ICNP
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...
DEBU
2010
13 years 6 months ago
2010
We consider the requirements that a citation system must fulfill in order to cite structured and evolving data sets. Such a system must take into account variable granularity, con...
JSA
2008
13 years 8 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
A generalised vector precoding (VP) design based on the minimum bit error rate (MBER) criterion is proposed for multiuser transmission in the downlink of a multiuser system where t...
ISSS
1999
IEEE
14 years 1 months ago
1999
IEEE
Specifications of data computations may not necessarily describe the ranges of the intermediate results that can be generated. However, such information is critical to determine t...