2153 search results - page 50 / 431 » Software Architectures for Task-Oriented Computing |
137
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
152
Voted
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
We describe (and demonstrate) the execution model of a computing platform where computation is both incremental and data-driven. We call such an approach delta-driven. The platfor...
131
click to vote
ACSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
140
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
Quality and economical aspects of software development are strictly related. Adaptability, as a feature of quality, fosters reuse and the resulting economies of scale. Domain anal...
137
click to vote
CSMR
2004
IEEE
15 years 8 months ago
2004
IEEE
The recovery of software architecture is a first important step towards re-engineering a software system. Architecture recovery usually involves clustering. The problem with curre...