Sciweavers

5267 search results - page 623 / 1054
» Methods for Knowledge Based Controlling of Distributed Syste...
Sort
View
188
Voted
HASE
1998
IEEE
15 years 11 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
HASE
2005
IEEE
16 years 14 days ago
Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
Gergely Pintér, István Majzik
SEMWEB
2005
Springer
16 years 10 days ago
Provenance-Based Validation of E-Science Experiments
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
Sylvia C. Wong, Simon Miles, Weijian Fang, Paul T....
244
Voted
CBSE
2006
Springer
15 years 10 months ago
A Prototype Tool for Software Component Services in Embedded Real-Time Systems
Abstract. The use of software component models has become popular during the last decade, in particular in the development of software for desktop applications and distributed info...
Frank Lüders, Daniel Flemström, Anders W...
MOBIMEDIA
2007
15 years 8 months ago
Bayesian memory-based reputation system
Reputation System provides a way to maintain trust through social control by utilizing feedbacks about the service providers’ past behaviors. Conventional Memory-based Reputatio...
Weiwei Yuan, Donghai Guan, Sungyoung Lee, Young-Ko...