2859 search results - page 232 / 572 » A Programming Environment for Bousi-Prolog |
196
click to vote
ADHOCNETS
2009
Springer
15 years 11 months ago
2009
Springer
Mobile ad hoc networks (MANETs) are a highly promising new form of networking. However they are more vulnerable to attacks than wired networks. In addition, conventional intrusion ...
180
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
158
click to vote
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
154
click to vote
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
We describe a Computer Science General Education course offered at Hope College. This course stressesproblem-solving. It uses traditional concepts of programming, but does it with...
187
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...