1676 search results - page 182 / 336 » Formal Development of Self-organising Systems |
159
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
183
click to vote
TEDU
2008
15 years 6 months ago
2008
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
207
click to vote
IRI
2008
IEEE
16 years 20 days ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
153
click to vote
KBSE
2007
IEEE
16 years 16 days ago
2007
IEEE
Software systems have become more complex, with myriad features and multiple functionalities. A major challenge in developing and maintaining such complex software is to identify ...
170
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Feature location aims at locating pieces of code that implement a given set of features (requirements). It is a necessary first step in every program comprehension and maintenanc...