240 search results - page 44 / 48 » Integrating Graph Rewriting and Standard Software Tools |
IFM
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
HICSS
2003
IEEE
14 years 27 days ago
2003
IEEE
Our Distributed Telecommunication Management System (DTMS) uses an object-oriented model to describe the networked Voice Communication System (VCS) to be managed. In order to allo...
GROUP
2003
ACM
14 years 26 days ago
2003
ACM
Group awareness is an important part of synchronous collaboration, and support for group awareness can greatly improve groupware usability. However, it is still difficult to build...
UIST
2003
ACM
14 years 26 days ago
2003
ACM
We describe a new type of graphical user interface widget, known as a “tracking menu.” A tracking menu consists of a cluster of graphical buttons, and as with traditional menu...
ENVSOFT
2006
13 years 7 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...