3040 search results - page 210 / 608 » Synergetic Tool Environments |
154
click to vote
BPM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Continuous optimization of business process execution including its adaptation to changes within the market environment or the company itself becomes increasingly importa...
164
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
Virtual reality is a useful tool to train individuals for various different situations or scenarios. A single person utilizing a virtual environment can greatly enhance their skil...
160
Voted
ICSE
1998
IEEE-ACM
15 years 9 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
161
Voted
MAAMAW
1993
Springer
15 years 9 months ago
1993
Springer
Autonomous agents are designed to reach goals that were pre-de ned by their operators. An important way to execute tasks and to maximize payo is to share resources and to cooperate...
151
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...