2357 search results - page 412 / 472 » Computing Refactorings of Behavior Models |
IMC
2009
ACM
14 years 3 months ago
2009
ACM
Packet sampling techniques introduce measurement errors that should be carefully handled in order to correctly characterize the network behavior. In the literature several works h...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— Target tracking has two variants that are often studied independently with different approaches: target searching requires a robot to find a target initially not visible, and ...
CSFW
2007
IEEE
14 years 2 months ago
2007
IEEE
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
VTC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Interleave Division Multiple Access (IDMA) is a promising air interface for future wireless networks. Optimization of access schemes regarding cross user aspects is also a topi...