1312 search results - page 26 / 263 » Embedded contract languages |
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
DLT
2010
15 years 1 months ago
2010
Abstract. Blocker and coblocker sets are regular languages involved in the algorithmic solution of the Regular Post Embedding Problem. We investigate the computability of these lan...
COMBINATORICS
2002
14 years 11 months ago
2002
Suppose G is r-colorable and P V (G) is such that the components of G[P] are far apart. We show that any (r + s)-coloring of G[P] in which each component is s-colored extends to ...
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM