16702 search results - page 3212 / 3341 » Server operating systems |
152
click to vote
EAAI
2007
15 years 4 months ago
2007
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is deļ¬...
148
click to vote
JSAC
2006
15 years 4 months ago
2006
Abstract--The Internet is a large, heterogeneous system operating at very high speeds and consisting of a large number of users. Researchers use a suite of tools and techniques in ...
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
There have been several research works that analyze and optimize programs using temporal logic. However, no evaluation of optimization time or execution time of these implementati...
141
click to vote
NC
2008
15 years 4 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
145
Voted
FAC
2007
15 years 4 months ago
2007
Abstract. We report on a case study in applying diļ¬erent formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...