2409 search results - page 374 / 482 » Logical systems for structured specifications |
152
Voted
APVIS
2009
15 years 4 months ago
2009
Many graph visualization systems use graph hierarchies to organize a large input graph into logical components. These approaches detect features globally in the data and place the...
129
Voted
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
120
Voted
ENTCS
2002
15 years 3 months ago
2002
In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T-category", where ...
149
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
152
Voted
ECOOPW
2008
Springer
15 years 5 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...