8083 search results - page 451 / 1617 » A Formalization of Software Architecture |
194
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
173
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Violations in memory references cause tremendous loss of productivity, catastrophic mission failures, loss of privacy and security, and much more. Software mechanisms to detect me...
172
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a framework for a distributed and very low-cost implementation of synchronization controllers and protocols for embedded multiprocessors. The proposed arc...
167
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— For certain applications, field robotic systems require small size for cost, weight, access, stealth or other reasons. Small size results in constraints on critical resources s...
155
click to vote
WECWIS
2006
IEEE
16 years 27 days ago
2006
IEEE
In today’s businesses we can see the trend that serviceoriented architectures (SOA) represent the main paradigm for IT infrastructures. In this setting, a software offers its fu...