1541 search results - page 268 / 309 » Tools and Techniques for Model Checking Networked Programs |
100
click to vote
BMCBI
2008
15 years 18 days ago
2008
Background: Eukaryotic promoter prediction using computational analysis techniques is one of the most difficult jobs in computational genomics that is essential for constructing a...
154
click to vote
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
121
click to vote
VL
2005
IEEE
15 years 6 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
112
Voted
SIGSOFT
2009
ACM
15 years 7 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
111
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...