19367 search results - page 146 / 3874 » Fine-Grain Process Modelling |
120
click to vote
AEI
2005
15 years 2 months ago
2005
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
107
Voted
ICALT
2007
IEEE
15 years 9 months ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
108
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We consider the problem of optimizing the trajectory of a mobile sensor with perfect localization whose task is to estimate a stochastic, perhaps multidimensional fiel...
121
Voted
ER
2007
Springer
15 years 8 months ago
2007
Springer
1 A number of e-Processes (i.e. software processes for developing e-Commerce information systems) exist in industry. We presuppose that for a subclass of these their targeted quali...
131
Voted
STACS
2010
Springer
15 years 9 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...