247 search results - page 33 / 50 » Development graphs - Proof management for structured specifi... |
PDSE
2000
15 years 1 months ago
2000
To support multimedia applications in mobile environments, it will be necessary for applications to be aware of the underlying environmental conditions, and also to be able to ada...
113
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
EKAW
2000
Springer
15 years 3 months ago
2000
Springer
An electronic business model is an important baseline for the development of e-commerce system applications. Essentially, it provides the design rationale for e-commerce systems fr...
DAGSTUHL
2001
15 years 1 months ago
2001
Software visualization has been almost exclusively tackled from the visual point of view; this means visualization occurs exclusively through the visual channel. This approach has ...
119
Voted
TPDS
2002
14 years 11 months ago
2002
Distributed dynamic channel allocation (DDCA) is a fundamental resource management problem in mobile cellular networks. It has a flavor of distributed mutual exclusion but is not e...