2477 search results - page 312 / 496 » First-Order Interactive Programming |
109
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
E-commerce as well as B2B applications are essentially based on interactions between different people and organizations (e.g. industry, banks, customers) that usually exploit the ...
104
click to vote
APPT
2005
Springer
15 years 7 months ago
2005
Springer
By reasonably allocating a cooperative problem which need multiple solvers cope with together, the problem could be performed more effectively and efficiently. A problem could be d...
138
click to vote
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
137
click to vote
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
105
click to vote
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...