14331 search results - page 2568 / 2867 » On the modeling and analysis of obligations |
223
click to vote
LCTRTS
2001
Springer
16 years 8 hour ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
176
click to vote
MASA
2001
Springer
16 years 8 hour ago
2001
Springer
Virtual environments provide a rich and varied domain for intelligent agents, but questions of design and development in this context are still to be answered. An agent with multip...
211
click to vote
SAFECOMP
2001
Springer
16 years 46 min ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
216
click to vote
SCALESPACE
2001
Springer
16 years 33 min ago
2001
Springer
Abstract. The most popular lossy image compression method used on the Internet is the JPEG standard. JPEG’s good compression performance and low computational and memory complexi...
205
click to vote
WADS
2001
Springer
15 years 12 months ago
2001
Springer
Methods for ranking World Wide Web resources according to their position in the link structure of the Web are receiving considerable attention, because they provide the first e...