2050 search results - page 138 / 410 » A formal foundation for process modeling |
169
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
184
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
196
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
166
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
When modeling business processes, we often implicity think of internal business policies and external regulations. Yet to date, little attention is paid to avoid hard-coding polici...
213
click to vote
P2P
2006
IEEE
16 years 14 days ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...