1676 search results - page 160 / 336 » Formal Development of Self-organising Systems |
139
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper proposes a syntactic method for detection and correction of misrecognized mathematical formulae for a practical mathematical OCR system. Linear monadic context-free tre...
241
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
174
click to vote
AUTONOMICS
2008
ACM
15 years 8 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
155
click to vote
QUATIC
2007
IEEE
16 years 13 days ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
181
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...