Sciweavers

3911 search results - page 526 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
CASCON
2010
204views Education» more  CASCON 2010»
15 years 1 months ago
Effective collaboration and consistency management in business process modeling
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 ...
Moises Castelo Branco, Yingfei Xiong, Krzysztof Cz...
160
Voted
DSRT
2000
IEEE
15 years 11 months ago
A Generic Rollback Manager for Optimistic HLA Simulations
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...
Fernando Vardânega, Carlos Maziero
ICRA
2008
IEEE
201views Robotics» more  ICRA 2008»
16 years 1 months ago
Hierarchical distributed control for search and tracking by heterogeneous aerial robot networks
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...
Jack Elston, Eric W. Frew
FSEN
2007
Springer
16 years 25 days ago
Hoare Logic for ARM Machine Code
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...
Magnus O. Myreen, Anthony C. J. Fox, Michael J. C....
WETICE
2005
IEEE
16 years 7 days ago
Transparent Remote File Access in the Minimum Intrusion Grid
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...
Rasmus Andersen, Brian Vinter