3045 search results - page 246 / 609 » Formal Approaches to Software Architecture |
115
click to vote
GI
2004
Springer
15 years 5 months ago
2004
Springer
: We present our idea of solving parts of the vision task with an organic computing approach. We have designed a multiagent system (MAS) of many different modules working on differ...
135
click to vote
ACSW
2007
15 years 1 months ago
2007
Digital identities represent who we are when engaging in online activities and transactions. The rapid growth in the number of online services leads to in an increasing number of ...
ICW
2005
IEEE
15 years 5 months ago
2005
IEEE
- To alleviate the problem of high priority traffic hogging of all the available network capacity and to optimize the network traffic in the DiffServ network, we introduce the mult...
116
click to vote
DAC
2009
ACM
15 years 3 months ago
2009
ACM
Traditional debug methodologies are limited in their ability to provide debugging support for many-core parallel programming. Synchronization problems or bugs due to race conditio...
IFM
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...