1054 search results - page 108 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
143
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
131
click to vote
ICSOC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
126
click to vote
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
139
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Several supervised and unsupervised learning tools are available to classify functional genomics data. However, relatively less attention has been given to exploratory...
168
click to vote
TVLSI
2008
15 years 3 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...