2455 search results - page 152 / 491 » Graphical abstract help |
124
Voted
FBT
1997
15 years 5 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
166
click to vote
DAGSTUHL
1993
15 years 5 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
125
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
111
Voted
JSC
2007
15 years 3 months ago
2007
Abstract. We extend our recent work on set-theoretic solutions of the YangBaxter or braid relations with new results about their automorphism groups, strong twisted unions of solut...
143
click to vote
RE
2002
Springer
15 years 3 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...