1153 search results - page 178 / 231 » The Complexity of Revision, Revised |
APSEC
2008
IEEE
14 years 27 days ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
ASPDAC
2008
ACM
14 years 27 days ago
2008
ACM
Phase shifting mask (PSM) is a promising resolution enhancement technique, which is used in the deep sub-wavelength lithography of the VLSI fabrication process. However, applying ...
ASSETS
2005
ACM
14 years 26 days ago
2005
ACM
This paper presents the development of a set of researchderived ageing-centred Web design guidelines. An initial set of guidelines was first developed through an extensive review ...
ATAL
2005
Springer
14 years 26 days ago
2005
Springer
Although informative, the semantic definition proposed for the most standard agent communication language (FIPA ACL 1997) is complicated and contentious, while published interact...
CANDC
2007
ACM
14 years 21 days ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...