2558 search results - page 248 / 512 » Model Composition Contracts |
236
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...
174
click to vote
PET
2004
Springer
15 years 10 months ago
2004
Springer
There are a variety of well-known models for access control developed for purposes like formally modeling the access rights on files, databases, and web resources. However, the ex...
119
click to vote
ICS
1995
Tsinghua U.
15 years 8 months ago
1995
Tsinghua U.
Threads provide a useful programming model for asynchronous behavior because of their ability to encapsulate units of work that can then be scheduled for execution at runtime, bas...
174
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
We present a prototype of agent-based intrusion detection system designed for deployment on high-speed backbone networks. The main contribution of the system is the integration of...
137
Voted
IEE
2002
15 years 4 months ago
2002
: Software practitioners recognise the importance of realistic estimates of effort for the successful management of software projects, the Web being no exception. Estimates are nec...