7225 search results - page 200 / 1445 » Software is data too |
133
click to vote
STEP
2005
IEEE
15 years 10 months ago
2005
IEEE
With the advent of UML and MDA, models play an increasingly important role in software development. Hence, the management of the quality of models is of key importance for complet...
140
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
Neuroimaging techniques produce large amounts of data capable of displaying a wide variety of structural and functional properties of the brain. A large number of specialized image...
167
click to vote
Publication
Software engineering is by nature a highly collaborative
activity and being able to collaborate effectively is a
key factor for project success. However, collaborating effectivel...
117
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
126
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...