2637 search results - page 95 / 528 » Tool Supported Specification and Simulation of Distributed S... |
123
click to vote
AMAST
2006
Springer
15 years 6 months ago
2006
Springer
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specific...
126
click to vote
VLSID
2008
IEEE
16 years 4 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
126
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we present the overall design for an auctioning based resource trading/acquiring system that can be deployed in wide-area computing systems such as Grid systems. Se...
130
click to vote
JDS
2007
15 years 4 months ago
2007
This paper describes the development of a decision support tool, an adoption assessment matrix based on critical adoption factors, that addresses a need in industry; namely, to im...
131
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...