1676 search results - page 61 / 336 » Formal Development of Self-organising Systems |
165
click to vote
CNL
2009
15 years 3 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
135
click to vote
DAI
1995
Springer
15 years 9 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
167
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
195
click to vote
FMOODS
2007
15 years 7 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
116
Voted
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...