3435 search results - page 63 / 687 » Aspect Model Unweaving |
140
click to vote
ENTCS
2002
15 years 3 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
151
click to vote
SOSYM
2010
15 years 2 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
117
Voted
PDP
2006
IEEE
15 years 10 months ago
2006
IEEE
The different approaches of emerging workflow modeling languages are manifold. Today, there exist many notations for workflow modeling with various specializations on different do...
130
click to vote
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Wirelength estimation techniques typically contain a site density function that enumerates all possible path sites for each wirelength in an architecture and an occupation probabil...
170
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas ...