3045 search results - page 228 / 609 » Formal Approaches to Software Architecture |
164
click to vote
COMPSAC
2007
IEEE
16 years 28 days ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
132
click to vote
IUI
2005
ACM
16 years 5 days ago
2005
ACM
Many structured activities are managed by email. For instance, a consumer purchasing an item from an e-commerce vendor may receive a message confirming the order, a warning of a ...
167
click to vote
WER
1999
Springer
15 years 11 months ago
1999
Springer
One of the main problems of requirements elicitation is expressing customer requirements in a form that can be understood not only by requirements engineers but also by noncomputer...
187
click to vote
ESWS
2010
Springer
15 years 10 months ago
2010
Springer
Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architecture...
200
click to vote
CODES
2006
IEEE
16 years 20 days ago
2006
IEEE
The memory subsystem of a complex multiprocessor systemson-chip (MPSoC) is an important contributor to the chip power consumption. The selection of memory architecture, as well as...