1021 search results - page 151 / 205 » Design of a Specification Language by Abstract Syntax Engine... |
136
Voted
GI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
146
Voted
JSA
2008
15 years 2 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
135
Voted
DOCENG
2003
ACM
15 years 8 months ago
2003
ACM
Product data exchange is the precondition of business interoperation between Web-based firms. However, millions of small and medium sized enterprises (SMEs) encode their Web produ...
169
Voted
AIIDE
2009
15 years 3 months ago
2009
Dynamic scripting is a reinforcement learning algorithm designed specifically to learn appropriate tactics for an agent in a modern computer game, such as Neverwinter Nights. This...
115
Voted
CCS
2006
ACM
15 years 6 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...