403 search results - page 63 / 81 » Integrating Z into Large Projects Tools and Techniques |
GROUP
2005
ACM
15 years 3 months ago
2005
ACM
In distributed software development, two sorts of dependencies can arise. The structure of the software system itself can create dependencies between software elements, while the ...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
EUROPAR
2009
Springer
15 years 4 months ago
2009
Springer
With the increasing use of large image and video archives and high-resolution multimedia data streams in many of today’s research and application areas, there is a growing need f...
EXPERT
1998
14 years 9 months ago
1998
This article illustrates the complexities of real-world planning and how we can create AI planning systems to address them. We describe the IMACS Project (Interactive Manufacturab...
101
click to vote
BMCBI
2008
14 years 9 months ago
2008
Background: Microarray experimentation requires the application of complex analysis methods as well as the use of non-trivial computer technologies to manage the resultant large d...