3828 search results - page 317 / 766 » Proof-Based System Engineering Using a Virtual System Model |
203
click to vote
IJCAI
2007
15 years 8 months ago
2007
To test large scale socially embedded systems, this paper proposes a multiagent-based participatory design that consists of two steps; 1) participatory simulation, where scenario-...
167
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Recent developments in multi-touch technologies have exposed fertile ground for research in enriched humanrobot interaction. Although multi-touch technologies have been used for v...
216
Voted
VISSOFT
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
155
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
164
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Video-on-demand over IP (VOD) is one of the best-known examples of “next-generation” Internet applications cited as a goal by networking and multimedia researchers. Without em...