205 search results - page 20 / 41 » The Use of a Formal Representation of Accounting Standards |
ACL
2006
13 years 8 months ago
2006
We claim that existing specification languages for tree based grammars fail to adequately support identifier managment. We then show that XMG (eXtensible MetaGrammar) provides a s...
EPIA
2005
Springer
14 years 27 days ago
2005
Springer
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
OWLED
2008
13 years 8 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
PCI
2001
Springer
13 years 11 months ago
2001
Springer
One of the most rapidly evolving e-services is e-Learning, that is, the creation of advanced educational resources that are accessible on-line and, potentially, offer numerous adva...
WISA
2004
Springer
14 years 21 days ago
2004
Springer
In implementing cryptographic algorithms on limited devices such as smart cards, speed and memory optimization had always been a challenge. With the advent of side channel attacks,...