3432 search results - page 308 / 687 » Model Development in the UML-based Specification Environment... |
300
Voted
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
Despite the recent proliferation of work on semistructured data models, there has been little work to date on supporting uncertainty in these models. In this paper, we propose a m...
219
click to vote
JUCS
2002
15 years 7 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
195
click to vote
DCC
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we demonstrate a new and original way to apply the representation theory of finite groups to the development of space-time codes for use in multiple antenna wireless ...
181
Voted
GECCO
2003
Springer
16 years 19 days ago
2003
Springer
This paper presents simulations of long-term competition for light between two plant species, oaks and beeches. These artificial plants, evolving in a 3D environment, are based on ...
225
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...