Sciweavers

22114 search results - page 55 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
EMSOFT
2006
Springer
13 years 9 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
ICECCS
2007
IEEE
144views Hardware» more  ICECCS 2007»
14 years 2 months ago
A Formal Semantic Model of the Semantic Web Service Ontology (WSMO)
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
Hai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed S...
CLEIEJ
2007
51views more  CLEIEJ 2007»
13 years 7 months ago
Model Checking Techniques applied to the design of Web Services
Gregorio Díaz, María-Emilia Cambrone...
TSMC
2008
116views more  TSMC 2008»
13 years 7 months ago
Fuzzy Techniques for Subjective Workload-Score Modeling Under Uncertainties
This paper deals with the development of a computer model to estimate the subjective workload score of individuals by evaluating their heart-rate (HR) signals. The identification o...
Mohit Kumar, D. Arndt, Steffi Kreuzfeld, Kerstin T...