2796 search results - page 249 / 560 » A time structure based software reliability model |
142
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
—In open multiagent systems, agents need to model their environments in order to identify trustworthy agents. Models of the environment should be accurate so that decisions about...
137
Voted
ICCS
1997
Springer
15 years 8 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
144
Voted
ETRICS
2006
15 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
153
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
The discovery of suitable Web services for a given task is one of the central operations in Service-oriented Architectures (SOA), and research on Semantic Web services (SWS) aims a...
125
click to vote
ISMAR
2007
IEEE
15 years 11 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...