4693 search results - page 794 / 939 » Verifying Hybrid Systems |
137
click to vote
SAC
2010
ACM
16 years 10 hour ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
129
click to vote
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
Recently, it appears on the agenda of many organizations the concept of IT governance in order to justify and mainly optimize IT investments. Some studies have shown that companie...
151
click to vote
FOSSACS
2009
Springer
15 years 12 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
137
click to vote
PAKDD
2009
ACM
15 years 12 months ago
2009
ACM
The trend of social information processing sees e-commerce and social web applications increasingly relying on user-generated content, such as rating, to determine the quality of o...
138
click to vote
CCGRID
2009
IEEE
15 years 12 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...