959 search results - page 113 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
AGENTS
2001
Springer
14 years 23 days ago
2001
Springer
The CASA architecture describes a platform for the provisioning of services by agents by supporting three levels of agent design. At the base level is a framework to build an agen...
GI
2001
Springer
14 years 22 days ago
2001
Springer
Abstract: This paper presents the information aggregation methods enabling cost- and QoS-aware service deployment. It is expected that network management tools will require the net...
SIGCSE
1998
ACM
14 years 14 days ago
1998
ACM
Through the use of interpreters it is possible to teach programming languages in an analytic way without the mathematical overhead associated with other formal methods. This is a ...
DOOD
1993
Springer
14 years 10 days ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
ESSOS
2009
Springer
14 years 4 days ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...