721 search results - page 68 / 145 » A Living System Must Have Noncomputable Models |
104
Voted
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
103
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
102
click to vote
DSVIS
2003
Springer
15 years 5 months ago
2003
Springer
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
113
Voted
ECIS
2003
15 years 2 months ago
2003
Theories of inter-organisational co-ordination propose that information processing capabilities (structure, process and technology) must be aligned with information processing nee...
133
Voted
MDM
2009
Springer
15 years 7 months ago
2009
Springer
Indoor navigation highly depends on context and requires flexible data structures to support the many use cases and configurations. For example, an indoor navigation system must c...