13489 search results - page 601 / 2698 » Operating System |
180
Voted
SAC
2003
ACM
16 years 9 days ago
2003
ACM
Recently, researchers have created many platforms and applications for mobile agents; however, current Agent-Oriented Software Engineering (AOSE) methodologies have yet not fully ...
192
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
183
click to vote
ENTCS
2008
15 years 7 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
195
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
Performances evaluation of image processing intermediate results in video based surveillance systems is extremely important due to the variety of approaches to this task. In this ...
178
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This is an overview of the robust resource allocation research efforts that have been and continue to be conducted by the CSU Robustness in Computer Systems Group. Parallel and di...