Sciweavers

152 search results - page 28 / 31
» GCCS: A Graphical Coordination Language for System Specifica...
Sort
View
197
Voted
ICFP
2009
ACM
15 years 11 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak
95
Voted
APLAS
2007
ACM
15 years 2 months ago
Scalable Simulation of Cellular Signaling Networks
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
Vincent Danos, Jérôme Feret, Walter F...
94
Voted
UML
2005
Springer
15 years 3 months ago
Use Cases in Model-Driven Software Engineering
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
Hernán Astudillo, Gonzalo Génova, Mi...
73
Voted
UML
2004
Springer
15 years 3 months ago
Open Issues in Industrial Use Case Modeling
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...
Gonzalo Génova, Juan Llorens Morillo, Pierr...
95
Voted
ISMB
1998
14 years 11 months ago
Advanced Query Mechanisms for Biological Databases
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
I-Min A. Chen, Anthony Kosky, Victor M. Markowitz,...