5196 search results - page 148 / 1040 » State of Application Assessment |
134
Voted
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
128
click to vote
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Web servers are ubiquitous, remotely accessible, and often misconfigured. In addition, custom web-based applications may introduce vulnerabilities that are overlooked even by the ...
179
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...
133
Voted
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
Extensibility is one of the mayor benefits of object-relational database management systems. We have used this system property to implement a StateMachine Module inside an object-...
155
Voted
CVPR
2011
IEEE
14 years 12 months ago
2011
IEEE
We deal with an image jigsaw puzzle problem, which is defined as reconstructing an image from a set of square and non-overlapping image patches. It is known that a general instan...