3045 search results - page 560 / 609 » Formal Approaches to Software Architecture |
155
click to vote
SAC
2006
ACM
16 years 2 days ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
150
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...
194
click to vote
EUROSYS
2011
ACM
14 years 9 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...
166
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
Web-based search engines such as Google and NorthernLight return documents that are relevant to a user query, not answers to user questions. We have developed an architecture that...
196
click to vote
CGO
2006
IEEE
16 years 6 days ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...