1528 search results - page 250 / 306 » Object-Oriented Software Composition |
110
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
117
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
123
Voted
IJACTAICIT
2010
14 years 12 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
149
Voted
STVR
2010
14 years 9 months ago
2010
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...
128
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...