3911 search results - page 526 / 783 » Using Operational Architecture to Model Embedded Software |
235
click to vote
CASCON
2010
15 years 1 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
160
Voted
DSRT
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the addition of an extra piece of software, a rollback manager, to implement state saving and rollback management for optimistic federates in the High Level A...
157
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...
168
click to vote
FSEN
2007
Springer
16 years 25 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
154
click to vote
WETICE
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes the implementation of a thin user-level layer to be installed on Grid resources. The layer fits in the Minimum intrusion Grid design by imposing as few requi...