7847 search results - page 53 / 1570 » Designing intimate experiences |
DATE
2000
IEEE
14 years 1 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
IASTEDSE
2004
13 years 10 months ago
2004
: Software evolves as requirements or technologies change. Tremendous efforts are often needed to support software evolution as evolution may involve reverse engineering and subseq...
ESCIENCE
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we discuss several challenges associated scientific workflow design and management in distributed, heterogeneous environments. Based on our prior work with a number ...
TRIDENTCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents the software architecture of the ORBIT radio grid testbed1 . We describe the requirements for supporting the lifecycle of an experiment and how they influenced...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...