2135 search results - page 267 / 427 » Dimensions of Component Based Development |
116
click to vote
FOIS
2006
15 years 4 months ago
2006
The Gene Ontology captures information at a very small scale, namely: molecular function, biological process, and cellular components. At this level, the Gene Ontology project shou...
111
Voted
PDSE
1998
15 years 4 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
92
Voted
WSC
1998
15 years 4 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
132
Voted
GPC
2008
Springer
15 years 3 months ago
2008
Springer
The hype surrounding Web 2.0 and technologies such as AJAX shows: The future of distributed application development lies in Rich Internet Applications (RIAs), which are based on h...
115
Voted
JLP
2006
15 years 2 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...