1791 search results - page 54 / 359 » Behavioral Operations |
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Time-sharing operating systems may delay application processing of incoming messages because other processes are scheduled when the messages arrive. In this paper, we present a sim...
ISDA
2005
IEEE
15 years 5 months ago
2005
IEEE
We consider the construction and management of user profiles for an agent-based travel support system, with the goal of providing personalized content for individual users of the ...
136
click to vote
TACS
2001
Springer
15 years 4 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Both non-determinism and multi-level networks compactly characterize the flexibility allowed in implementing a circuit. A theory for representing and manipulating non-deterministi...
101
click to vote
WSC
2004
15 years 1 months ago
2004
The concept of operations for a micro-UAV system is adopted from nature from the appearance of flocking birds, movement of a school of fish, and swarming bees among others. This &...