5630 search results - page 59 / 1126 » Computability in Specification |
119
Voted
ACMDIS
2000
ACM
15 years 7 months ago
2000
ACM
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
108
Voted
MFCS
1997
Springer
15 years 6 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
101
Voted
GI
2009
Springer
15 years 6 months ago
2009
Springer
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
130
Voted
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
179
Voted
CVPR
2006
IEEE
15 years 6 months ago
2006
IEEE
Segmentation of ultrasound images is often a very challenging task due to speckle noise that contaminates the image. It is well known that speckle noise exhibits an asymmetric dis...