7529 search results - page 240 / 1506 » The Modula-3 Type System |
183
click to vote
JSS
2008
15 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
169
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
173
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—In recent years a number of research efforts have focused on effective use of P2P-based systems in providing large scale video streaming services. In particular, live streaming ...
244
click to vote
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Social bookmarking tools become more and more popular nowadays and tagging is used to organize information and allow users to recall or search the resources. Users need to type th...
175
click to vote
IJSKD
2011
15 years 1 months ago
2011
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...