10038 search results - page 1805 / 2008 » Model Checking for Managers |
149
click to vote
IDEAS
2003
IEEE
15 years 9 months ago
2003
IEEE
In recent years, a lot of research effort has been dedicated to the management of Quality of Service (QoS), mainly in the fields of telecommunication networks and multimedia syste...
137
click to vote
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
139
click to vote
ISPASS
2003
IEEE
15 years 9 months ago
2003
IEEE
MPEG-4 is an important international standard with wide applicability. This paper focuses on MPEG-4’s main profile, video, whose approach allows more efficiency in coding and ...
131
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Today’s applications are highly mobile; we download software from the Internet, machine executable code arrives attached to electronic mail, and Java applets increase the functi...
153
Voted
VISUALIZATION
2003
IEEE
15 years 9 months ago
2003
IEEE
We describe an efficient technique for out-of-core management and interactive rendering of planet sized textured terrain surfaces. The technique, called P-Batched Dynamic Adaptiv...