1397 search results - page 232 / 280 » On the Need for Practical Formal Methods |
140
click to vote
INCDM
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Intrusion Detection Systems (IDSs) which have been deployed in computer networks to detect a wide variety of attacks are suffering how to manage of a large number of tri...
148
click to vote
SAC
2009
ACM
15 years 8 months ago
2009
ACM
Identification and specification of business requirements are extremely important when development of Enterprise Resource Planning systems (ERPs) take place. It can be stated that...
131
click to vote
CP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...
203
click to vote
DASFAA
2010
IEEE
15 years 8 months ago
2010
IEEE
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. The existing approaches store RDF data based on triples instead of a relation model. I...
126
Voted
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
To construct high performance Web servers, system builders are increasingly turning to distributed designs. An important challenge that arises in such designs is the need to direc...