2013 search results - page 77 / 403 » Analysis and Design Techniques for Service-Oriented Developm... |
ADAEUROPE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
CASCON
2007
13 years 10 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
ICDE
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—Two major forms of information integration, federation and materialization, continue to dominate the market, embedded in separate products, each with their strengths and...
CHI
2010
ACM
14 years 3 months ago
2010
ACM
A typical product development lifecycle for interactive systems starts with contextual analysis to guide system design. The challenge however is in transitioning from findings abo...
FCCM
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...