4919 search results - page 756 / 984 » A Process-Ontological Model for Software Engineering |
126
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...
165
Voted
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
136
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract--Cluster tools are widely used as semiconductor manufacturing equipment. While throughput analysis and scheduling of single-cluster tools have been well-studied, research ...
157
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
161
click to vote
SIAMCO
2011
14 years 10 months ago
2011
The choice of admissible trading strategies in mathematical modelling of financial markets is a delicate issue, going back to Harrison and Kreps [HK79]. In the context of optimal...