1837 search results - page 45 / 368 » Architecture = Abstractions over Software |
119
Voted
ERLANG
2003
ACM
15 years 5 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
86
Voted
ECSA
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Services Oriented Architectures preach loosely-coupled services and high
100
click to vote
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...
115
Voted
IWPC
2002
IEEE
15 years 5 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...
103
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...