1008 search results - page 27 / 202 » Multiobjective process controllability analysis |
116
click to vote
PPL
2007
15 years 1 months ago
2007
ract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iterati...
104
Voted
RAS
2010
15 years 24 days ago
2010
This paper presents a development methodology for complex robotic systems using the behavior-based control architecture iB2C (integrated Behavior-Based Control). It is shown how a...
143
Voted
ROOM
2000
15 years 3 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
116
Voted
INTERACT
2003
15 years 3 months ago
2003
: This paper describes the process of developing an interactive mobile system for use in a safety-critical domain. The system was developed to inquire into the extent of which coor...
132
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...