4476 search results - page 417 / 896 » Modeling software architectures in the Unified Modeling Lang... |
167
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Clustered Objects (COs) [1] have been proven to be an effective ion for improving scalability of systems software [2, 3]. But can we devise a programming model that would allow CO...
236
click to vote
ACMMSP
2006
ACM
16 years 1 months ago
2006
ACM
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
228
click to vote
ENTCS
2010
15 years 5 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
194
click to vote
ADBIS
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Database modeling is based on the assumption of a high regularity of its application areas, an assumption which applies to both the structure of data and the behavior of ...
181
click to vote
CODES
2000
IEEE
16 years 1 days ago
2000
IEEE
Frequency interleaving is introduced as a means of conceptualizing and co-scheduling hardware and software behaviors so that software models with conceptually unbounded state and ...