6343 search results - page 878 / 1269 » Development of a Cartographic Language |
166
click to vote
POLICY
2004
Springer
16 years 7 days ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
187
click to vote
RISE
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
183
click to vote
SAMOS
2004
Springer
16 years 7 days ago
2004
Springer
Embedded digital signal processors for baseband communication systems have stringent design constraints including high computational bandwidth, low power consumption, and low inter...
157
click to vote
UML
2004
Springer
16 years 6 days ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
167
click to vote
UML
2004
Springer
16 years 6 days ago
2004
Springer
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models mus...