4919 search results - page 544 / 984 » A Process-Ontological Model for Software Engineering |
172
click to vote
WER
2001
Springer
15 years 10 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
140
Voted
APSEC
2000
IEEE
15 years 10 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
189
click to vote
TC
2010
15 years 29 days ago
2010
In this paper, we define and study a new class of capacity planning models called MAP queueing networks. MAP queueing networks provide the first analytical methodology to describe ...
194
click to vote
TASLP
2010
15 years 29 days ago
2010
This paper presents a novel probabilistic approach to speech enhancement. Instead of a deterministic logarithmic relationship, we assume a probabilistic relationship between the fr...
153
click to vote
BCSHCI
2007
15 years 7 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...