8083 search results - page 365 / 1617 » A Formalization of Software Architecture |
174
click to vote
ACSD
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
161
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
— Important theoretical aspects of multi-robot coordination mechanisms have, to date, been largely ignored. To address part of this negligence, we focus on the problem of multi-r...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
s LEXSYS, (Legume Expert System) was a project conceived at IITA (International Institute of Tropical Agriculture) Ibadan Nigeria. It was initiated by the COMBS (Collaborative Grou...
180
click to vote
APSEC
2003
IEEE
16 years 2 days ago
2003
IEEE
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
170
Voted
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...