841 search results - page 78 / 169 » A secure architectural description language for agent system... |
185
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
148
click to vote
DEBU
2007
15 years 6 months ago
2007
Textual fields are commonly used in databases and applications to capture details that are difficult to formalize—comments, notes, and product descriptions. With the rise of t...
157
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...
179
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
158
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...