2810 search results - page 277 / 562 » Contract-Based Component System Design |
119
click to vote
HT
1996
ACM
15 years 7 months ago
1996
ACM
This paper presents a taxonomy for open hypermedia systems. The purpose of the Flag1 taxonomy is manifold: 1 to provide a framework to classify and concisely describe individual s...
128
Voted
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
117
Voted
SEKE
2005
Springer
15 years 9 months ago
2005
Springer
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
123
Voted
SIGOPS
2010
14 years 10 months ago
2010
We introduce SelfTalk, a novel declarative language that allows users to query and understand the status of a large scale system. SelfTalk is sufficiently expressive to encode an ...
125
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...