4460 search results - page 792 / 892 » Resources in process algebra |
217
click to vote
SIMVIS
2007
15 years 7 months ago
2007
The amount of data to be represented by visualization systems requires new ideas for data processing and representation. As proposed in this contribution, this might be solved by ...
182
click to vote
FLAIRS
2004
15 years 7 months ago
2004
Open source intelligence analysts routinely use the web as a source of information related to their specific taskings. Effective information gathering on the web, despite the prog...
213
click to vote
BSDCON
2003
15 years 7 months ago
2003
The existing thread scheduler in FreeBSD was well suited towards the computing environment that it was developed in. As the priorities and hardware targets of the project have cha...
196
click to vote
ICAI
2003
15 years 7 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
181
click to vote
PDPTA
2003
15 years 7 months ago
2003
This paper presents the effectiveness of an interactive support facility to tune processor allocation of data-driven realtime programs on CUE (Coordinating Users’ requirements an...