276 search results - page 18 / 56 » Decomposition tool for event-B |
121
click to vote
CEC
2010
IEEE
14 years 4 months ago
2010
IEEE
High-throughput analytical techniques such as nuclear magnetic resonance, protein kinase phosphorylation, and mass spectroscopic methods generate time dense profiles of metabolites...
104
click to vote
VISSOFT
2005
IEEE
15 years 3 months ago
2005
IEEE
Using visualization and exploration tools can be of great use for the understanding of a software system when only its source code is available. However, understanding a large sof...
ISI
2004
Springer
15 years 3 months ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
LISA
2007
14 years 12 months ago
2007
Computer and network administrators are often confused or uncertain about the behavior of their networks. Traditional analysis using IP ports, addresses, and protocols are insuffi...
FLAIRS
1998
14 years 11 months ago
1998
Software reuse has been demonstrated to increase productivity, reduce costs, and improve software quality. The research that has addressed this problem has concentrated on code cr...