4520 search results - page 290 / 904 » Algebraic Techniques for Timed Systems |
206
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
— In a rice sorting system, the separation distance of one grain from another is determined by the amount of time taken to process the image of each grain. The closer the separat...
221
click to vote
ATAL
2003
Springer
16 years 19 days ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
192
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Digital media companies have recently started embracing P2P networks as an alternative distribution mechanism. However, with current P2P swarming systems users need to d...
216
click to vote
ICDM
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract -- Detection of execution anomalies is very important for the maintenance, development, and performance refinement of large scale distributed systems. Execution anomalies ...
229
click to vote
JSW
2007
15 years 7 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...