1304 search results - page 135 / 261 » Model Checking C Programs Using F-SOFT |
127
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductiv...
143
click to vote
IJCSA
2006
15 years 3 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
135
click to vote
ICECCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
125
click to vote
AEI
2005
15 years 3 months ago
2005
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
120
click to vote
PARLE
1992
15 years 7 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...