1829 search results - page 170 / 366 » Towards Validation of Requirements Models |
154
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
Estimation of the area complexity of a Boolean function from its functional description is an important step towards a power estimation capability at the register transfer level (...
186
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...
200
click to vote
ESM
2000
15 years 7 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
165
click to vote
ACL
2009
15 years 4 months ago
2009
In this paper, we propose a novel method for semi-supervised learning of nonprojective log-linear dependency parsers using directly expressed linguistic prior knowledge (e.g. a no...
162
click to vote
CAISE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...