473 search results - page 94 / 95 » Aspect Validation Using Model Checking |
USS
2010
13 years 3 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
HICSS
2008
IEEE
14 years 21 hour ago
2008
IEEE
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...
ACMDIS
2004
ACM
13 years 11 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
METRICS
2005
IEEE
13 years 11 months ago
2005
IEEE
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
BMCBI
2010
13 years 5 months ago
2010
Background: The binding of regulatory proteins to their specific DNA targets determines the accurate expression of the neighboring genes. The in silico prediction of new binding s...