14360 search results - page 468 / 2872 » Time Modeling in MARTE |
121
click to vote
HICSS
2010
IEEE
15 years 12 months ago
2010
IEEE
The transparency created by enterprise models is a valuable support for organizational engineering and especially enterprise transformation. However, current approaches are hardly...
169
Voted
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
125
click to vote
CSDA
2006
15 years 5 months ago
2006
Time course gene expression experiments have proved valuable in a variety of biological studies [e.g., Chuang, Y., Chen, Y., Gadisetti, V., et al., 2002. Gene expression after tre...
168
click to vote
FUIN
2007
15 years 5 months ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
135
Voted
BC
1999
15 years 4 months ago
1999
A model is presented to study and quantify the contribution of all available sensory information to human standing based on optimal estimation theory. In the model, delayed sensory...