A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Filters
Specification and Validation of Behavioural Protocols in the rCOS Modeler
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
Components are specified in rCOS, a relational calculus for Refinement of Component and Object Systems. ...
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. ...
Specification of behaviour in rCOS usually considers trace languages of method invocations instead of data. ...
doi:10.1007/978-3-642-11623-0_23
fatcat:aj4h2znifnhqrjav53tn3ves3e
Robustness testing for software components
2010
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
First, a set of paths is generated to cover transitions of the state machine, and it is used by the test cases to bring the component into a specific control state. ...
Robustness testing is a testing methodology to detect the vulnerabilities of a component under unexpected inputs or in a stressful environment. ...
Acknowledgements We would like to thank the anonymous reviewers of the FACS'08 version and of this version for their detailed comments that helped in revising the paper to its current form. ...
doi:10.1016/j.scico.2010.02.005
fatcat:pc2qz3qxafeprgn5up2cqmq2fe
Modelling with Relational Calculus of Object and Component Systems - rCOS
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We demonstrate how rCOS supports modelling different views and their relationships of the system and the separation of concerns in the development. ...
We give a model of requirements based on an abstraction of the use cases described in Chapter 3.2. ...
Acknowledgements The authors thank Wang Xu and Siraj Shaikh at UNU-IIST for helpful suggestion on CSP and FDR, and the careful reviewers. ...
doi:10.1007/978-3-540-85289-6_6
fatcat:i27juyc5efcgxabpezw6rzp4bq
Integrating Theories and Techniques for Program Modelling, Design and Verification
[chapter]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project. ...
This proposal is made on behalf of all members of the academic staff at UNU-IIST. We would like to thank our colleagues, Chris George, Dang Van Hung and Tomasz Janowski for the discussions. ...
Therefore, for a component C, we treat the interface methods of C and the protocol as the specification of the use cases of the component and the components in environment of C as the actors of these use ...
doi:10.1007/978-3-540-69149-5_31
fatcat:6wvzxhedpfdmxbzrzjumjov75m
A Component-Based Access Control Monitor
[chapter]
2008
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We present a formal specification of an access control monitor using the calculus of refinement of component and object systems (rCOS). ...
A control of access to information is increasingly becoming necessary as the systems managing this information is more and more open and available through non secure networks. ...
This work was supported by the project HTTS funded by the Macao Science and Technology Development Fund and by the projects NSFC-60673114 and 863 of China 2006AA01Z165. ...
doi:10.1007/978-3-540-88479-8_24
fatcat:pu7wee6xuzca7fqu3dnng2auzq
Harnessing Theories for Tool Support
2006
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
The paper concludes with a discussion of feasibility of developing the proposed add-ins and of the conditions for such extensions to be actually used. ...
In order to know where such add-ins will fit, we investigate the use of an existing successful commercial tool and identify suitable places for adding formally supported checking, transformation and generation ...
The theory of rCOS shares the idea with Circus [3] in their attempts to combine event-based models and state-based models. ...
doi:10.1109/isola.2006.49
dblp:conf/isola/LiuMRY06
fatcat:kx6nia7wx5gsxepufep5ytkawi
Towards a Rigorous Approach to UML-Based Development
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We discuss the promises and problems of UML-based development. ...
We then suggest a framework in which UML can be used precisely and more disciplined so as to solve the problems and meet the promises better. ...
To validate expressions and commands in a dynamic binding environment, the model must keep track of the current type of each object. ...
doi:10.1016/j.entcs.2005.03.005
fatcat:itznqvo6pjefxbk7gpxitugfke
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems
2016
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The proposed architecture, called refinement of Cyber-Physical Component Systems (rCPCS), which extends the refinement calculus for component and object system (rCOS) modelling method, is implemented using ...
With rCPCS implementation in Reo, we specify the communication, synchronisation and co-operation amongst the heterogeneous components of the system assuring, by design scalability and the interoperability ...
Author Contributions: E.P. and S.M. set the problem statement and system model; E.P., Z.L. and J.B. conceived and designed the modelling architecture; E.P., X.C. and Z.L. conceived and designed the implementation ...
doi:10.3390/s16111810
pmid:27801829
pmcid:PMC5134469
fatcat:4hwqcjpujvdvtdifhwynpqydz4
Conformance notions for the coordination of interaction components
2010
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
These notions are formalised in terms of the denotational semantics of the process algebra CSP, and assist the designer in common activities during integration, such as the substitution of component specifications ...
We illustrate the application of these notions through a systematic composition strategy of software frameworks, and we mechanically verify the preservation of behavioural component properties in these ...
However, the component communication mechanism model in rCOS is specific for method invocation [36] . ...
doi:10.1016/j.scico.2009.12.005
fatcat:zlz2i5apljhudlo6xc6fsldxo4
Combining Techniques to Verify Service-based Components
2017
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Modelling real life systems covers three aspects of a system (structure, dynamics and functions) and one verification technique is not sufficient to check the properties related to these aspects. ...
Early verification is essential in model-driven development because late error detection involves a costly correction and approval process. ...
A component protocol is defined here as the set of all the valid se-quences of service invocations. ...
doi:10.5220/0006212106450656
dblp:conf/modelsward/AndreAM17
fatcat:vrjjgtoaqjeold2j3nagn36tp4
Factors Influencing the Adoption of Cloud Incident Handling Strategy: A Preliminary Study in Malaysia
[article]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We also outline future research required to validate the model. ...
We propose a conceptual model that draws upon the Situation Awareness (SA) model and Protection Motivation Theory (PMT) to guide this research. 40 organisational cloud service users in Malaysia were surveyed ...
The views and opinions expressed in this article are those of the authors alone and not the organisations with whom the authors are or have been associated and supported. ...
arXiv:1505.02908v1
fatcat:yx2eg4bzd5fthkc7cnbafdyg4e
THE USE OF HEART RATE TO ESTIMATE OXYGEN CONSUMPTION OF FREE-RANGING BLACK-BROWED ALBATROSSES DIOMEDEA MELANOPHRYS
1994
Journal of Experimental Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
However, the method should be applied to as many individuals and as many instances of a particular behaviour as possible. ...
In addition to the calibration procedure, six of the albatrosses were injected with doubly labelled water (DLW), and fh and V(dot)O2 were monitored continuously over a 3 day period while the birds were ...
The authors would like to thank the following people: everyone at the British Antarctic Survey base at Bird Island, in particular T. Barton, J. Cooper and G. Liddle for their help in the field, Dr P. ...
pmid:9317461
fatcat:7ktcfbna7zaujo33iktpf4ytaa
Body composition, water turnover and energy turnover assessment with labelled water
1999
Proceedings of the Nutrition Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Westerterp, fax +31 43 3670976, email k.westerterp@hb.unimaas.NL CAB International Body composition, water turnover and energy turnover assessment with labelled water Klaas R. Westerterp ...
Validation of techniques for the assessment of physical activity Doubly-labelled water is a 'gold standard' for the validation of techniques for the assessment of physical activity such as behavioural ...
The most promising are motion sensors, specifically accelerometers, as an objective tool for the assessment of physical activity in large populations and over intervals of days to periods long enough to ...
doi:10.1017/s0029665199001251
pmid:10817162
fatcat:vnpfjx2ymzct3bvvzqe4lzo4h4
Applicability of the doubly labelled water method to the rhinoceros auklet, Cerorhinca monocerata
2012
Biology Open
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We calculated the CO 2 production rate of four auklets (mean initial body mass: 552 g636 s.d.) injected with DLW, using the one-and two-pool models. ...
The metabolic rates determined using the one-and two-pool models in the DLW method for the same period as the respirometric measurement averaged 16.6162.13 kJ h 21 (n54) and 16.1662.10 kJ h 21 (n54), respectively ...
Acknowledgements We thank Yuuya Suzuki and Megumi Shikata for their assistance in the field, Yutaka Watanuki for his valuable suggestions and help, and Naoki Tomita for help with the isotope analysis. ...
doi:10.1242/bio.20122436
pmid:23213394
pmcid:PMC3507190
fatcat:6ashiag5pjc5pd7j3l3gvxxciq
Doubly labelled water assessment of energy expenditure: principle, practice, and promise
2017
European Journal of Applied Physiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
reference, and studies on body mass regulation with energy expenditure as a determinant of energy balance. ...
the behaviour of the subjects. ...
In a twocompartment model for body composition with the component fat-free mass and fat mass, water is an important constituent of fat-free mass (Pace and Rathbun 1945) . ...
doi:10.1007/s00421-017-3641-x
pmid:28508113
pmcid:PMC5486561
fatcat:b7m5q37ngfbzhdqv2alisdtxae
« Previous
Showing results 1 — 15 out of 241 results