3045 search results - page 280 / 609 » Formal Approaches to Software Architecture |
186
Voted
ACMICEC
2006
ACM
16 years 20 days ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
162
Voted
CASCON
1997
15 years 8 months ago
1997
The paper presents a similarity-based retrieval framework for a software repository that aids the process of maintaining, understanding, and migrating legacy software systems [12]...
164
click to vote
HASKELL
2006
ACM
16 years 19 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
158
click to vote
CAISE
2007
Springer
16 years 26 days ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
166
click to vote
FIW
2007
15 years 8 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...