15784 search results - page 726 / 3157 » Mega Software Engineering |
233
click to vote
APAL
2011
15 years 2 months ago
2011
Abstract. We give classical proofs, strengthenings, and generalizations of Lecomte’s characterizations of analytic ω-dimensional hypergraphs with countable Borel chromatic numbe...
148
Voted
ICSE
2011
IEEE-ACM
14 years 11 months ago
2011
IEEE-ACM
184
click to vote
ICFEM
2003
Springer
16 years 19 days ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
164
click to vote
WSR
2008
15 years 8 months ago
2008
: TGraphs are directed graphs with typed, attributed, and ordered nodes and edges. These properties leverage the use of graphs as models for all kinds of artifacts in the context o...