2813 search results - page 392 / 563 » Formalizing Architectural Connection |
187
click to vote
ICALP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
198
click to vote
LOPSTR
2007
Springer
16 years 18 days ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
137
click to vote
WADS
2007
Springer
16 years 17 days ago
2007
Springer
The (Euclidean) Vehicle Routing Allocation Problem (VRAP) is a generalization of Euclidean TSP. We do not require that all points lie on the salesman tour. However, points that do ...
175
click to vote
ASWEC
2006
IEEE
16 years 15 days ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
168
click to vote
BIBE
2006
IEEE
16 years 15 days ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...