2502 search results - page 287 / 501 » Using probabilistic model checking in systems biology |
168
click to vote
ASM
2010
ASM
16 years 3 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
186
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes a new logic-based approach for representing and reasoning about metabolic networks. First it shows how biological pathways can be elegantly represented in a...
192
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
185
click to vote
ICVS
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a computer vision system for tracking and predicting flying balls in 3-D from a stereo-camera. It pursues a “textbook-style” approach with a robust circle ...
148
click to vote
AICT
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper, we propose a framework for QualityDriven Delivery (QDD) in distributed multimedia environments. Quality-driven delivery refers to the capacity of a system to delive...