6274 search results - page 1029 / 1255 » Proofs, Programs, Processes |
SCOPES
2005
Springer
15 years 6 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
117
Voted
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
114
click to vote
VRCAI
2004
ACM
15 years 6 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...
115
click to vote
KDD
2004
ACM
15 years 6 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
86
Voted
CSB
2003
IEEE
15 years 6 months ago
2003
IEEE
Peptide-based vaccines, in which small peptides derived from target proteins (epitopes) are used to provoke an immune reaction, have attracted considerable attention recently as a...