Sciweavers

5608 search results - page 479 / 1122
» Structure description tools
Sort
View
ICSEA
2006
IEEE
16 years 29 days ago
Enforcing Interaction Properties in AOSD-Enabled Systems
The construction and maintenance of large and complex software systems depend on the existence of global principles describing the structure and the interaction among its various ...
Constantin Serban, Shmuel S. Tyszberowicz
HT
2005
ACM
16 years 14 days ago
What is the space for?: the role of space in authoring hypertext representations
This paper describes our approach of using spatial hypertext as a means separated from an end representation for hypertext authoring. By taking advantage of the power of rich inte...
Yasuhiro Yamamoto, Kumiyo Nakakoji, Yoshiyuki Nish...
IWPC
2003
IEEE
16 years 5 days ago
Facilitating Program Comprehension by Mining Association Rules from Source Code
Program comprehension is an important part of software maintenance, especially when program structure is complex and documentation is unavailable or outdated. Data mining can prod...
Christos Tjortjis, Loukas Sinos, Paul J. Layzell
CSCWD
2001
Springer
15 years 11 months ago
Modeling Workflow within Distributed Systems
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
Yuhong Yan, Alex Bejan
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 10 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...