3809 search results - page 200 / 762 » Associative language descriptions |
153
click to vote
ETFA
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper describes an approach on the way towards dynamically configuring an application by discovering and using smart devices in a sensor/actuator network. The key to this are...
195
click to vote
ADAEUROPE
2005
Springer
16 years 3 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
200
click to vote
SBACPAD
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents the cache configuration exploration of a programmable system, in order to find the best matching between the architecture and a given application. Here, prog...
206
click to vote
BTW
1999
Springer
15 years 10 months ago
1999
Springer
Conceptual Information Systems provide a multi-dimensional conceptually structured view on data stored in relational databases. On restricting the expressiveness of the retrieval l...
179
click to vote
UML
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...