Sciweavers

1718 search results - page 249 / 344
» Modeling and testing of cloud applications
Sort
View
ACSAC
2003
IEEE
15 years 8 months ago
MLS-PCA: A High Assurance Security Architecture for Future Avionics
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
Clark Weissman
162
Voted
UML
2001
Springer
15 years 8 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ECRTS
2000
IEEE
15 years 8 months ago
Prototyping distributed multimedia systems using communicating real-time state machines
This paper describes a methodology for the development of real-time systems and shows its application to the modeling, analysis and implementation of distributed multimedia system...
Giancarlo Fortino, Libero Nigro
ASWEC
2008
IEEE
15 years 5 months ago
Towards Formalizing Resource Based Non-conformance in Business
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...
Sean Thompson, Torab Torabi
124
Voted
NIPS
2001
15 years 4 months ago
Probabilistic Inference of Hand Motion from Neural Activity in Motor Cortex
Statistical learning and probabilistic inference techniques are used to infer the hand position of a subject from multi-electrode recordings of neural activity in motor cortex. Fi...
Yun Gao, Michael J. Black, Elie Bienenstock, Shy S...