9380 search results - page 1469 / 1876 » Collaborative information system design |
153
click to vote
MKM
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
169
click to vote
UML
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
175
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
186
click to vote
IWPC
2003
IEEE
16 years 1 days ago
2003
IEEE
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...
159
click to vote
IWSOC
2003
IEEE
16 years 1 days ago
2003
IEEE
The availability of high-level design entry tooling is crucial for the viability of any reconfigurable SoC architecture. This paper presents a template generation method to extra...