5446 search results - page 860 / 1090 » Software Architecture - Introduction |
162
click to vote
SAT
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
131
click to vote
FOAL
2007
ACM
15 years 9 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
149
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
153
click to vote
HRI
2007
ACM
15 years 9 months ago
2007
ACM
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...
164
Voted
HT
2007
ACM
15 years 9 months ago
2007
ACM
In the modern Web, users are accessing their favourite Web applications from any place, at any time and with any device. In this setting, they expect the application to user-tailo...