Sciweavers

2599 search results - page 139 / 520
» A Tool for Supporting Feature-Driven Development
Sort
View
SAC
2006
ACM
15 years 10 months ago
A UML 2-compatible language and tool for formal modeling real-time system architectures
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
Pietro Colombo, Matteo Pradella, Matteo Rossi
HCI
2009
15 years 2 months ago
A Multiple-Aspects Visualization Tool for Exploring Social Networks
Social network analysis (SNA) has been used to study the relationships between actors in social networks, revealing their features and patterns. In most cases, nodes and edges in g...
Jie Gao, Kazuo Misue, Jiro Tanaka
APSEC
1996
IEEE
15 years 8 months ago
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima
LREC
2008
145views Education» more  LREC 2008»
15 years 6 months ago
BOEMIE Ontology-Based Text Annotation Tool
The huge amount of the available information in the Web creates the need of effective information extraction systems that are able to produce metadata that satisfy user's inf...
Pavlina Fragkou, Georgios Petasis, Aris Theodorako...
JBI
2006
15 years 4 months ago
Support versus corroboration
Numerous metrics have been developed that attempt to assess the reliability of phylogenetic trees. Several of these commonly used measures of tree and tree branch support are desc...
Mary G. Egan