899 search results - page 109 / 180 » A Temporal Language for SystemC |
80
Voted
ENTCS
2008
15 years 1 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
113
click to vote
TAL
2010
Springer
14 years 8 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
113
click to vote
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
123
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
122
click to vote
ACSC
2008
IEEE
15 years 3 months ago
2008
IEEE
Recurrent neural networks are able to store information about previous as well as current inputs. This "memory" allows them to solve temporal problems such as language r...