403 search results - page 79 / 81 » Integrating Z into Large Projects Tools and Techniques |
96
Voted
ICCSA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This paper describes how function-based shape modeling can be expanded to web visualization, as well as how web-based visualization can be greatly improved by using the f...
89
Voted
LISA
1993
15 years 28 days ago
1993
Three years ago the Stanford Linear Accelerator Center (SLAC) decided to embrace netnews as a site-wide, multi-platform communications tool for the laboratory’s diverse user com...
102
click to vote
IJCAI
1989
15 years 23 days ago
1989
The acceptability and effectiveness of an expert system is critically dependent on its user interface. Natural language could be a well-suited communicative medium; however, curre...
158
click to vote
HCW
2000
IEEE
15 years 4 months ago
2000
IEEE
Management of large-scale parallel and distributed applications is an extremely complex task due to factors such as centralized management architectures, lack of coordination and ...
127
click to vote
VLSID
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...