10038 search results - page 457 / 2008 » Model Checking for Managers |
180
click to vote
PODS
2007
ACM
16 years 7 months ago
2007
ACM
In [3], we introduced a framework for querying and updating probabilistic information over unordered labeled trees, the probabilistic tree model. The data model is based on trees ...
166
Voted
EUROMICRO
2007
IEEE
16 years 1 months ago
2007
IEEE
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
178
click to vote
ER
2005
Springer
16 years 17 days ago
2005
Springer
Web services aim at providing an interoperable framework for cross system and multiple domain communication. Current basic standards are allowing for first cases of practical use ...
181
click to vote
HICSS
2003
IEEE
16 years 9 days ago
2003
IEEE
During workflow design, workflow modelers generally specify the performers of a task by their organizational role. However, during workflow enactment, numerous workers with differ...
194
click to vote
DFG
2003
Springer
16 years 7 days ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...