3429 search results - page 620 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
SEBD
2001
13 years 10 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
AAAI
1998
13 years 10 months ago
1998
Software agents "living" and acting in a real world software environment, such as an operating system, a network, or a database system, can carry out many tasks for huma...
TCAD
2008
13 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
CSCW
2011
ACM
13 years 4 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...