3429 search results - page 455 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
117
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
126
click to vote
WSC
2000
15 years 5 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
142
click to vote
ENTCS
2008
15 years 4 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
149
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
114
click to vote
ICML
2009
IEEE
16 years 5 months ago
2009
IEEE
We propose an unbounded-depth, hierarchical, Bayesian nonparametric model for discrete sequence data. This model can be estimated from a single training sequence, yet shares stati...