1837 search results - page 45 / 368 » Architecture = Abstractions over Software |
ERLANG
2003
ACM
14 years 1 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...
ECSA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Services Oriented Architectures preach loosely-coupled services and high
ISSTA
2006
ACM
14 years 1 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...
IWPC
2002
IEEE
14 years 21 days 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...
DAC
2001
ACM
14 years 8 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...