4870 search results - page 260 / 974 » Challenges of component-based development |
117
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
123
Voted
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Web is being consolidating as the main platform for the development of applications. Moreover, these applications are not conceived just as isolated systems. This fac...
142
click to vote
ISPA
2007
Springer
15 years 10 months ago
2007
Springer
The Cell processor is a typical example of a heterogeneous multiprocessor-on-chip architecture that uses several levels of parallelism to deliver high performance. Closing the gap ...
121
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
137
click to vote
CIG
2006
IEEE
15 years 10 months ago
2006
IEEE
— Game environments provide a good domain for serious simulations such as those used in training Navy conning officers. Currently, a typical training scenario requires multiple ...