3330 search results - page 91 / 666 » software 2010 |
PROCEDIA
2010
13 years 7 months ago
2010
An important issue in the design of visualization systems is to allow flexibility in providing a range of interfaces to a single body of algorithmic software. In this paper we de...
IMCSIT
2010
13 years 6 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
IPAW
2010
13 years 6 months ago
2010
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Legislation is constantly affecting the way in which software developers can create software systems, and deliver them to their users. This raises the need for methods and tools t...
VMCAI
2010
Springer
14 years 6 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...