2702 search results - page 324 / 541 » constraints 2008 |
211
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
201
click to vote
BIBE
2008
IEEE
15 years 8 months ago
2008
IEEE
Bayesian network structure learning is a useful tool for elucidation of regulatory structures of biomolecular pathways. The approach however is limited by its acyclicity constraint...
164
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
167
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always publ...
189
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
There are many different process meta-models that offer different viewpoints of a same process: activity oriented, product oriented, decision oriented, context oriented and strateg...