10038 search results - page 1767 / 2008 » Model Checking for Managers |
169
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
146
Voted
ICPADS
2008
IEEE
15 years 11 months ago
2008
IEEE
We collected packet traces from Second Life client sessions and analyzed the packet contents. We observed that textures constitute a majority of the network traffic. We further c...
139
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
135
click to vote
ISM
2008
IEEE
15 years 11 months ago
2008
IEEE
In the recent years, photo context metadata (e.g., date, GPS coordinates) have been proved to be useful in the management of personal photos. However, these metadata are still poo...
144
click to vote
ISVLSI
2008
IEEE
15 years 11 months ago
2008
IEEE
In nanometer regime, the effects of process variations are dominating circuit performance, power and reliability of circuits. Hence, it is important to properly manage variation e...