2004 search results - page 226 / 401 » Comparison of Model Checking Tools for Information Systems |
159
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
Over the past decades, large organisations have developed increasingly complex portfolios of information systems to support business processes. Maintenance and leveraging of these...
151
click to vote
ICST
2008
IEEE
16 years 24 days ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
185
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The emerging field of integrative bioinformatics provides the tools to organize and systematically analyze vast amounts of highly diverse biological data and thus allo...
188
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...
149
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...