1669 search results - page 25 / 334 » Structured Specification of Model Interpreters |
CHI
1994
ACM
15 years 6 months ago
1994
ACM
This paper introduces multitrees, a new type of structure for representing information. Multitrees are a class of directed acyclic graphs (DAGs) with the unusual property that the...
157
click to vote
I3E
2001
15 years 3 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
101
click to vote
EKAW
2000
Springer
15 years 6 months ago
2000
Springer
An electronic business model is an important baseline for the development of e-commerce system applications. Essentially, it provides the design rationale for e-commerce systems fr...
113
click to vote
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
134
click to vote
COMPLEX
2009
Springer
15 years 6 months ago
2009
Springer
Creating ensembles of random but "realistic" topologies for complex systems is crucial for many tasks such as benchmark generation and algorithm analysis. In general, exp...