14783 search results - page 516 / 2957 » Quantum Information Processing |
291
click to vote
ICDT
2009
ACM
16 years 8 months ago
2009
ACM
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification...
259
click to vote
SECON
2007
IEEE
16 years 1 months ago
2007
IEEE
— Many asset tracking applications demand long-lived, low-cost, and continuous monitoring of a large number of items, which has posed a significant challenge to today’s RFID d...
242
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
200
click to vote
SIGOPSE
1998
ACM
15 years 11 months ago
1998
ACM
The majority of work on protection in single-language mobile code environments focuses on information security issues and depends on the language environment for solutions to the ...
268
click to vote
APVIS
2009
15 years 8 months ago
2009
In this paper, we propose a stochastic simulation to model and analyze cellular signal transduction. The high number of objects in a simulation requires advanced visualization tec...