933 search results - page 138 / 187 » Extending Forward Checking |
151
click to vote
ECMDAFA
2005
Springer
15 years 8 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
130
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Providing Quality-of-Service (QoS) guarantees and mobility support for Internet devices has become a hot research topic in the Next Generation Internet research, since mobile compu...
115
click to vote
IWPSE
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
133
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
129
click to vote
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
Abstract. Static analyses calculate abstract states, and their logics validate properties of the abstract states. We place into perspective the variety of forwards, backwards, func...