647 search results - page 48 / 130 » Collage, composites, construction |
SAM
2004
14 years 11 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
71
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
ESIAT
2009
IEEE
14 years 7 months ago
2009
IEEE
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
93
Voted
ICALT
2006
IEEE
15 years 3 months ago
2006
IEEE
Graphical dialogue -the collaborative construction and modification of drawings- forms an integrated part of many human interactions e.g., the construction of sketch maps, archite...
CSL
1992
Springer
15 years 1 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...