7103 search results - page 713 / 1421 » Program Generation and Components |
192
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
189
click to vote
CONIELECOMP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents WISBuilder, a framework that investigates an approach for facilitating the development of Web-based Information Systems. The approach is based on the Model-Vie...
191
click to vote
ML
2006
ACM
16 years 1 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
175
click to vote
DSN
2005
IEEE
16 years 27 days ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...
227
click to vote
ICDCS
2002
IEEE
16 years 7 days ago
2002
IEEE
In the real-time environments, information is disseminated to clients with timing constraint. In this paper, we focus on the real time data scheduling problem in multiple broadcas...