893 search results - page 106 / 179 » Environment Assumptions for Synthesis |
FORTEST
2008
13 years 9 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
INTERACT
2007
13 years 9 months ago
2007
The rise of wireless networks and portable computing devices has been accompanied by an increasing interest in technology and mobility, and in the urban environment as a site of in...
IADIS
2004
13 years 9 months ago
2004
In order to heighten the effectiveness of web-based exploratory learning, we have designed and implemented adaptive link generation that facilitates multiperspective thinking abou...
ICIS
2000
13 years 9 months ago
2000
Virtual teams, enabled by information technology, represent a new organizational form that has the potential to change the workplace and provide organizations with increased level...
CASCON
1996
13 years 9 months ago
1996
For almost a decade we have been working at developing and using template-based models for coarse-grained parallel computing. Our initial system, FrameWorks, was positively receiv...