2206 search results - page 208 / 442 » Software Engineering and Modeling Education: Problems and So... |
171
click to vote
CCE
2008
15 years 6 months ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
187
click to vote
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
Business rules are operational rules that business organizationsfollow to peq%rm various activities. Over time, business rules evolve and the software that implemented them are al...
206
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— We develop a general framework for MAP estimation in discrete and Gaussian graphical models using Lagrangian relaxation techniques. The key idea is to reformulate an in...
144
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
207
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...